1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-17 08:39:44 +01:00

bash: add missing 'ignoreboth' to historyControl

Reference: https://www.gnu.org/software/bash/manual/html_node/Bash-Variables.html#index-HISTCONTROL
This commit is contained in:
RoadRoller01 2024-05-12 23:33:36 +03:00 committed by Robert Helgesson
parent e8482a798f
commit 0cf552f39f
No known key found for this signature in database
GPG key ID: 96E745BD17AA17ED

View file

@ -67,8 +67,8 @@ in {
};
historyControl = mkOption {
type =
types.listOf (types.enum [ "erasedups" "ignoredups" "ignorespace" ]);
type = types.listOf
(types.enum [ "erasedups" "ignoredups" "ignorespace" "ignoreboth" ]);
default = [ ];
description = "Controlling how commands are saved on the history list.";
};