Hi,
An user on IRC asked whether there was a way to prevent the "cd" commands that Geany launches on the VTE when follow_path is enabled to clutter his shell history. I first though "no", but actually Bash don't put in the history commands prefixed with a space [1]; and ZSH has an option [2] to follow this behavior (while doing nothing special without the option).
The reason of this mail is to ask you if you think that prefixing the "cd" command with a space should be made a pref or not.
Pros: * 1-char change (only adds a space) * No extra hidden pref no body cares about * Probably no need to be configurable * Probably won't do anything wrong with other shells (CSH, whatever) * ...
Cons: * Not configurable * Maybe some shell would interpret this another way? * ...
So... do you think it should be configurable or do I simply put a leading space and be done with it?
Cheers, Colomban
[1] though I didn't found the feature in bash's manual, with a fast and inaccurate grep. [2] HIST_IGNORE_SPACE
[...]
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
Le 17/11/2011 02:30, Lex Trotman a écrit :
[...]
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]
Ah thanks, makes sense :) Committed as 59eb055.
Cheers, Colomban