2013-09-18 04:35:58 +01:00
|
|
|
# This module defines global configuration for the zshell.
|
|
|
|
|
2014-04-14 15:26:48 +01:00
|
|
|
{ config, lib, pkgs, ... }:
|
2013-09-18 04:35:58 +01:00
|
|
|
|
2014-04-14 15:26:48 +01:00
|
|
|
with lib;
|
2013-09-18 04:35:58 +01:00
|
|
|
|
|
|
|
let
|
|
|
|
|
|
|
|
cfge = config.environment;
|
|
|
|
|
|
|
|
cfg = config.programs.zsh;
|
|
|
|
|
|
|
|
zshAliases = concatStringsSep "\n" (
|
|
|
|
mapAttrsFlatten (k: v: "alias ${k}='${v}'") cfg.shellAliases
|
|
|
|
);
|
|
|
|
|
|
|
|
in
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
options = {
|
|
|
|
|
|
|
|
programs.zsh = {
|
|
|
|
|
|
|
|
enable = mkOption {
|
|
|
|
default = false;
|
|
|
|
description = ''
|
2016-09-04 15:30:07 +01:00
|
|
|
Whether to configure zsh as an interactive shell. To enable zsh for
|
|
|
|
a particular user, use the <option>users.users.<name?>.shell</option>
|
|
|
|
option for that user. To enable zsh system-wide use the
|
|
|
|
<option>users.defaultUserShell</option> option.
|
2013-09-18 04:35:58 +01:00
|
|
|
'';
|
|
|
|
type = types.bool;
|
|
|
|
};
|
|
|
|
|
|
|
|
shellAliases = mkOption {
|
|
|
|
default = config.environment.shellAliases;
|
|
|
|
description = ''
|
2017-09-30 07:08:42 +01:00
|
|
|
Set of aliases for zsh shell. Overrides the default value taken from
|
|
|
|
<option>environment.shellAliases</option>.
|
|
|
|
See <option>environment.shellAliases</option> for an option format description.
|
2013-09-18 04:35:58 +01:00
|
|
|
'';
|
|
|
|
type = types.attrs; # types.attrsOf types.stringOrPath;
|
|
|
|
};
|
|
|
|
|
|
|
|
shellInit = mkOption {
|
|
|
|
default = "";
|
|
|
|
description = ''
|
|
|
|
Shell script code called during zsh shell initialisation.
|
|
|
|
'';
|
|
|
|
type = types.lines;
|
|
|
|
};
|
|
|
|
|
|
|
|
loginShellInit = mkOption {
|
|
|
|
default = "";
|
|
|
|
description = ''
|
|
|
|
Shell script code called during zsh login shell initialisation.
|
|
|
|
'';
|
|
|
|
type = types.lines;
|
|
|
|
};
|
|
|
|
|
|
|
|
interactiveShellInit = mkOption {
|
|
|
|
default = "";
|
|
|
|
description = ''
|
|
|
|
Shell script code called during interactive zsh shell initialisation.
|
|
|
|
'';
|
|
|
|
type = types.lines;
|
|
|
|
};
|
|
|
|
|
|
|
|
promptInit = mkOption {
|
|
|
|
default = ''
|
2018-05-31 03:27:24 +01:00
|
|
|
if [ "$TERM" != dumb ]; then
|
2018-08-29 17:05:53 +01:00
|
|
|
autoload -U promptinit && promptinit && prompt walters
|
2018-05-31 03:27:24 +01:00
|
|
|
fi
|
2013-09-18 04:35:58 +01:00
|
|
|
'';
|
|
|
|
description = ''
|
|
|
|
Shell script code used to initialise the zsh prompt.
|
|
|
|
'';
|
|
|
|
type = types.lines;
|
|
|
|
};
|
|
|
|
|
2015-11-24 23:04:17 +00:00
|
|
|
enableCompletion = mkOption {
|
|
|
|
default = true;
|
|
|
|
description = ''
|
|
|
|
Enable zsh completion for all interactive zsh shells.
|
|
|
|
'';
|
|
|
|
type = types.bool;
|
|
|
|
};
|
|
|
|
|
2013-09-18 04:35:58 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
config = mkIf cfg.enable {
|
|
|
|
|
|
|
|
environment.etc."zshenv".text =
|
|
|
|
''
|
|
|
|
# /etc/zshenv: DO NOT EDIT -- this file has been generated automatically.
|
|
|
|
# This file is read for all shells.
|
|
|
|
|
|
|
|
# Only execute this file once per shell.
|
2014-01-31 22:53:28 +00:00
|
|
|
# But don't clobber the environment of interactive non-login children!
|
2013-09-18 04:35:58 +01:00
|
|
|
if [ -n "$__ETC_ZSHENV_SOURCED" ]; then return; fi
|
2014-01-31 22:53:28 +00:00
|
|
|
export __ETC_ZSHENV_SOURCED=1
|
2013-09-18 04:35:58 +01:00
|
|
|
|
2018-08-29 17:05:48 +01:00
|
|
|
if [ -z "$__NIXOS_SET_ENVIRONMENT_DONE" ]; then
|
|
|
|
. ${config.system.build.setEnvironment}
|
|
|
|
fi
|
2018-05-19 09:14:45 +01:00
|
|
|
|
2017-05-09 16:07:18 +01:00
|
|
|
${cfge.shellInit}
|
|
|
|
|
2013-09-18 04:35:58 +01:00
|
|
|
${cfg.shellInit}
|
|
|
|
|
|
|
|
# Read system-wide modifications.
|
|
|
|
if test -f /etc/zshenv.local; then
|
2018-08-29 17:05:53 +01:00
|
|
|
. /etc/zshenv.local
|
2013-09-18 04:35:58 +01:00
|
|
|
fi
|
|
|
|
'';
|
|
|
|
|
|
|
|
environment.etc."zprofile".text =
|
|
|
|
''
|
|
|
|
# /etc/zprofile: DO NOT EDIT -- this file has been generated automatically.
|
|
|
|
# This file is read for login shells.
|
|
|
|
|
|
|
|
# Only execute this file once per shell.
|
|
|
|
if [ -n "$__ETC_ZPROFILE_SOURCED" ]; then return; fi
|
|
|
|
__ETC_ZPROFILE_SOURCED=1
|
|
|
|
|
2017-05-09 16:07:18 +01:00
|
|
|
${cfge.loginShellInit}
|
|
|
|
|
2013-09-18 04:35:58 +01:00
|
|
|
${cfg.loginShellInit}
|
|
|
|
|
|
|
|
# Read system-wide modifications.
|
|
|
|
if test -f /etc/zprofile.local; then
|
2018-08-29 17:05:53 +01:00
|
|
|
. /etc/zprofile.local
|
2013-09-18 04:35:58 +01:00
|
|
|
fi
|
|
|
|
'';
|
|
|
|
|
|
|
|
environment.etc."zshrc".text =
|
|
|
|
''
|
|
|
|
# /etc/zshrc: DO NOT EDIT -- this file has been generated automatically.
|
|
|
|
# This file is read for interactive shells.
|
|
|
|
|
|
|
|
# Only execute this file once per shell.
|
|
|
|
if [ -n "$__ETC_ZSHRC_SOURCED" -o -n "$NOSYSZSHRC" ]; then return; fi
|
|
|
|
__ETC_ZSHRC_SOURCED=1
|
|
|
|
|
|
|
|
. /etc/zinputrc
|
|
|
|
|
2017-05-09 16:07:18 +01:00
|
|
|
# history defaults
|
|
|
|
SAVEHIST=2000
|
|
|
|
HISTSIZE=2000
|
|
|
|
HISTFILE=$HOME/.zsh_history
|
|
|
|
|
|
|
|
setopt HIST_IGNORE_DUPS SHARE_HISTORY HIST_FCNTL_LOCK
|
|
|
|
|
|
|
|
HELPDIR="${pkgs.zsh}/share/zsh/$ZSH_VERSION/help"
|
|
|
|
|
2017-08-25 09:34:21 +01:00
|
|
|
# Tell zsh how to find installed completions
|
|
|
|
for p in ''${(z)NIX_PROFILES}; do
|
2018-08-29 17:05:53 +01:00
|
|
|
fpath+=($p/share/zsh/site-functions $p/share/zsh/$ZSH_VERSION/functions $p/share/zsh/vendor-completions)
|
2017-08-25 09:34:21 +01:00
|
|
|
done
|
|
|
|
|
2017-05-09 16:07:18 +01:00
|
|
|
${optionalString cfg.enableCompletion "autoload -U compinit && compinit"}
|
|
|
|
|
|
|
|
${cfge.interactiveShellInit}
|
|
|
|
|
2013-09-18 04:35:58 +01:00
|
|
|
${cfg.interactiveShellInit}
|
|
|
|
|
2017-08-18 20:48:38 +01:00
|
|
|
${zshAliases}
|
|
|
|
|
2017-05-09 16:07:18 +01:00
|
|
|
${cfg.promptInit}
|
|
|
|
|
2013-09-18 04:35:58 +01:00
|
|
|
# Read system-wide modifications.
|
|
|
|
if test -f /etc/zshrc.local; then
|
2018-08-29 17:05:53 +01:00
|
|
|
. /etc/zshrc.local
|
2013-09-18 04:35:58 +01:00
|
|
|
fi
|
|
|
|
'';
|
|
|
|
|
|
|
|
environment.etc."zinputrc".source = ./zinputrc;
|
|
|
|
|
2015-11-24 23:04:17 +00:00
|
|
|
environment.systemPackages = [ pkgs.zsh ]
|
2017-04-23 20:17:31 +01:00
|
|
|
++ optional cfg.enableCompletion pkgs.nix-zsh-completions;
|
2013-09-18 04:35:58 +01:00
|
|
|
|
2015-11-26 00:49:10 +00:00
|
|
|
environment.pathsToLink = optional cfg.enableCompletion "/share/zsh";
|
|
|
|
|
2014-04-29 17:57:04 +01:00
|
|
|
#users.defaultUserShell = mkDefault "/run/current-system/sw/bin/zsh";
|
2013-09-18 04:35:58 +01:00
|
|
|
|
|
|
|
environment.shells =
|
|
|
|
[ "/run/current-system/sw/bin/zsh"
|
|
|
|
"/var/run/current-system/sw/bin/zsh"
|
|
|
|
"${pkgs.zsh}/bin/zsh"
|
|
|
|
];
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|