1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-26 21:19:45 +01:00

Address review comments

This commit is contained in:
Olli Helenius 2018-12-23 12:53:01 +02:00 committed by Nikita Uvarov
parent a4383075af
commit 16946a6f00
No known key found for this signature in database
GPG key ID: F7A5FB3A7C10EF96

View file

@ -193,10 +193,10 @@ in
};
defaultKeymap = mkOption {
type = types.nullOr (types.enum [ "emacs" "viins" "vicmd" ]);
type = types.nullOr (types.enum (attrNames bindkeyCommands));
default = null;
example = "emacs";
description = "The default base keymap to use";
description = "The default base keymap to use.";
};
sessionVariables = mkOption {
@ -316,8 +316,10 @@ in
HELPDIR="${pkgs.zsh}/share/zsh/$ZSH_VERSION/help"
${if cfg.defaultKeymap != null && hasAttr cfg.defaultKeymap bindkeyCommands
then getAttr cfg.defaultKeymap bindkeyCommands else ""}
${optionalString (cfg.defaultKeymap != null) ''
# Use ${cfg.defaultKeymap} keymap as the default.
${getAttr cfg.defaultKeymap bindkeyCommands}
''}
${concatStrings (map (plugin: ''
path+="$HOME/${pluginsDir}/${plugin.name}"