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

zsh: support extra settings in oh-my-zsh plugins (#1106)

Browse source 
Co-Authored-By: Robert Helgesson <robert@rycee.net>
This commit is contained in:
Carlos Tomé 2020-03-25 15:40:42 +01:00 committed by GitHub
parent 78a0bbb38b
commit 7fa890462d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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

@ -152,6 +152,17 @@ let
Name of the theme to be used by oh-my-zsh.
'';
};
extraConfig = mkOption {
default = "";
example = ''
zstyle :omz:plugins:ssh-agent identities id_rsa id_rsa2 id_github
'';
type = types.lines;
description = ''
Extra settings for plugins.
'';
};
};
};
@ -398,6 +409,8 @@ in
${envVarsStr}
${optionalString cfg.oh-my-zsh.enable ''
# oh-my-zsh extra settings for plugins
${cfg.oh-my-zsh.extraConfig}
# oh-my-zsh configuration generated by NixOS
${optionalString (cfg.oh-my-zsh.plugins != [])
"plugins=(${concatStringsSep " " cfg.oh-my-zsh.plugins})"