From 98c2ac21fe85943211bd7d7d76d2449ed0ba7b2c Mon Sep 17 00:00:00 2001 From: colin Date: Mon, 17 Oct 2022 18:22:28 -0700 Subject: [PATCH] zsh: do not remember `rm` commands --- modules/universal/env/home-manager.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/modules/universal/env/home-manager.nix b/modules/universal/env/home-manager.nix index c872388a..90dbfb1c 100644 --- 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 = ''