While not that obvious this can be a quite useful feature, for instance if you need to run $ command --username=myuser --password=mysecretpassword which you don't want to show up in history.
I've taken the liberty to close this issue. Feel free to report any bugs you may come across in the future. ** Changed in: gnome-terminal (Ubuntu) Status: New => Invalid -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1378151 Title: Commands not saved to .bash_history when a leading space is present To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1378151/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs