home/bash: set a few shell options

2025-03-24 11:11:28 +01:00 · 2025-03-24 11:11:28 +01:00 · ec670da983
commit ec670da983
parent 0580da2dca
1 changed files with 6 additions and 1 deletions
--- a/home/programs/bash.nix
+++ b/home/programs/bash.nix
@ -7,5 +7,10 @@
    bashrcExtra = ''
      source "${config.xdg.configHome}/mutable_env.sh"
    '';
+    shellOptions = [
+      "histappend"
+      "checkwinsize"
+      "checkjobs"
+    ];
  };
-}
+}