zsh: do not remember rm commands

2022-10-17 18:22:28 -07:00
parent 52fe0c7523
commit 98c2ac21fe
1 changed files with 2 additions and 0 deletions
--- a/modules/universal/env/home-manager.nix
+++ b/modules/universal/env/home-manager.nix
@@ -267,6 +267,8 @@ in
          enable = true;
          enableSyntaxHighlighting = true;
          enableVteIntegration = true;
+          history.ignorePatterns = [ "rm *" ];
+          # history.path = TODO
          dotDir = ".config/zsh";

          initExtraBeforeCompInit = ''