home: zsh: clean-up blank in history

home: zsh: append to history
Otherwise the file is replaced rather than appended to.
2021-08-25 12:51:38 +02:00 · 2021-08-25 12:44:42 +02:00 · 2021-08-25 12:22:36 +02:00
2 changed files with 5 additions and 1 deletions
--- a/home/zsh/default.nix
+++ b/home/zsh/default.nix
@ -18,7 +18,7 @@ in
      extended = false;
      ignoreSpace = true;
      ignoreDups = true;
-      share = true;
+      share = false;
      path = "${config.xdg.dataHome}/zsh/zsh_history";
    };

--- a/home/zsh/options.zsh
+++ b/home/zsh/options.zsh
@ -8,5 +8,9 @@ setopt autopushd pushdminus pushdsilent
 setopt rcquotes
 # Single word commands can resume an existing job
 setopt autoresume
+# Append commands to history as they are exectuted
+setopt inc_append_history_time
+# Remove useless whitespace from commands
+setopt hist_reduce_blanks
 # Those options aren't wanted
 unsetopt beep extendedglob notify
Author	SHA1	Message	Date
Bruno BELANYI	11fbbd62eb	home: zsh: clean-up blank in history All checks were successful continuous-integration/drone/push Build is passing Details	2021-08-25 12:51:38 +02:00
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
Bruno BELANYI	3919a87d9e	home: zsh: do not share history accross shells It's more annoying than helpful...	2021-08-25 12:22:36 +02:00