[Geany-devel] Preventing "cd" to clutter VTE shell history

[Colomban Wendling]

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