Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

zsh: add oh-my-zsh.extraConfig option

Browse source
This commit is contained in:
Nadrieril 2018-02-10 18:18:57 +00:00
parent 9ea353569a
commit fb95302250
1 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
modules/programs/zsh.nix
View file

@ -120,6 +120,18 @@ let
Name of the theme to be used by oh-my-zsh. Name of the theme to be used by oh-my-zsh.
''; '';
}; };
extraConfig = mkOption {
default = "";
example = ''
# Configuration of the per-directory-history plugin
HISTORY_BASE="$HOME/.zsh/per-directory-history"
'';
type = types.lines;
description = ''
Commands to be run before loading oh-my-zsh, such as plugin configuration.
'';
};
}; };
}; };
@ -312,6 +324,7 @@ in
${optionalString (cfg.oh-my-zsh.theme != "") ${optionalString (cfg.oh-my-zsh.theme != "")
"ZSH_THEME=\"${cfg.oh-my-zsh.theme}\"" "ZSH_THEME=\"${cfg.oh-my-zsh.theme}\""
} }
${cfg.oh-my-zsh.extraConfig}
source $ZSH/oh-my-zsh.sh source $ZSH/oh-my-zsh.sh
''} ''}