[...]
So... do you think it should be configurable or do I simply put a leading space and be done with it?
Make it a various pref since its configurabel in bash [3]
Cheers Lex
Cheers, Colomban
[1] though I didn't found the feature in bash's manual, with a fast and inaccurate grep.
[3] See HISTCONTROL and HISTIGNORE variables in http://www.gnu.org/s/bash/manual/bash.html#Bash-Variables
[2] HIST_IGNORE_SPACE _______________________________________________ Geany-devel mailing list Geany-devel@uvena.de https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel