Bruno BELANYI d21087ddcd home: zsh: append to history ... Otherwise the file is replaced rather than appended to.		2021-08-25 12:44:42 +02:00
..
completion-styles.zsh	home: zsh: put further customization in files	2021-03-03 17:02:48 +00:00
default.nix	home: zsh: do not share history accross shells	2021-08-25 12:22:36 +02:00
extra-mappings.zsh	home: zsh: remove trailing whitespace	2021-05-30 00:46:09 +02:00
options.zsh	home: zsh: append to history	2021-08-25 12:44:42 +02:00