# This module defines global configuration for the Bash shell, in # particular /etc/bashrc and /etc/profile. { config, lib, pkgs, ... }: with lib; let cfge = config.environment; cfg = config.programs.bash; bashCompletion = optionalString cfg.enableCompletion '' # Check whether we're running a version of Bash that has support for # programmable completion. If we do, enable all modules installed in # the system and user profile in obsolete /etc/bash_completion.d/ # directories. Bash loads completions in all # $XDG_DATA_DIRS/bash-completion/completions/ # on demand, so they do not need to be sourced here. if shopt -q progcomp &>/dev/null; then . "${pkgs.bash-completion}/etc/profile.d/bash_completion.sh" nullglobStatus=$(shopt -p nullglob) shopt -s nullglob for p in $NIX_PROFILES; do for m in "$p/etc/bash_completion.d/"*; do . $m done done eval "$nullglobStatus" unset nullglobStatus p m fi ''; bashAliases = concatStringsSep "\n" ( mapAttrsFlatten (k: v: "alias ${k}=${escapeShellArg v}") (filterAttrs (k: v: !isNull v) cfg.shellAliases) ); in { options = { programs.bash = { /* enable = mkOption { default = true; description = '' Whenever to configure Bash as an interactive shell. Note that this tries to make Bash the default , which in turn means that you might need to explicitly set this variable if you have another shell configured with NixOS. ''; type = types.bool; }; */ shellAliases = mkOption { default = {}; description = '' Set of aliases for bash shell, which overrides . See for an option format description. ''; type = with types; attrsOf (nullOr (either str path)); }; shellInit = mkOption { default = ""; description = '' Shell script code called during bash shell initialisation. ''; type = types.lines; }; loginShellInit = mkOption { default = ""; description = '' Shell script code called during login bash shell initialisation. ''; type = types.lines; }; interactiveShellInit = mkOption { default = ""; description = '' Shell script code called during interactive bash shell initialisation. ''; type = types.lines; }; promptInit = mkOption { default = '' # Provide a nice prompt if the terminal supports it. if [ "$TERM" != "dumb" -o -n "$INSIDE_EMACS" ]; then PROMPT_COLOR="1;31m" let $UID && PROMPT_COLOR="1;32m" PS1="\n\[\033[$PROMPT_COLOR\][\u@\h:\w]\\$\[\033[0m\] " if test "$TERM" = "xterm"; then PS1="\[\033]2;\h:\u:\w\007\]$PS1" fi fi ''; description = '' Shell script code used to initialise the bash prompt. ''; type = types.lines; }; enableCompletion = mkOption { default = true; description = '' Enable Bash completion for all interactive bash shells. ''; type = types.bool; }; }; }; config = /* mkIf cfg.enable */ { programs.bash = { shellAliases = mapAttrs (name: mkDefault) cfge.shellAliases; shellInit = '' if [ -z "$__NIXOS_SET_ENVIRONMENT_DONE" ]; then . ${config.system.build.setEnvironment} fi ${cfge.shellInit} ''; loginShellInit = cfge.loginShellInit; interactiveShellInit = '' # Check the window size after every command. shopt -s checkwinsize # Disable hashing (i.e. caching) of command lookups. set +h ${cfg.promptInit} ${bashCompletion} ${bashAliases} ${cfge.interactiveShellInit} ''; }; environment.etc."profile".text = '' # /etc/profile: 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_PROFILE_SOURCED" ]; then return; fi __ETC_PROFILE_SOURCED=1 # Prevent this file from being sourced by interactive non-login child shells. export __ETC_PROFILE_DONE=1 ${cfg.shellInit} ${cfg.loginShellInit} # Read system-wide modifications. if test -f /etc/profile.local; then . /etc/profile.local fi if [ -n "''${BASH_VERSION:-}" ]; then . /etc/bashrc fi ''; environment.etc."bashrc".text = '' # /etc/bashrc: DO NOT EDIT -- this file has been generated automatically. # Only execute this file once per shell. if [ -n "$__ETC_BASHRC_SOURCED" -o -n "$NOSYSBASHRC" ]; then return; fi __ETC_BASHRC_SOURCED=1 # If the profile was not loaded in a parent process, source # it. But otherwise don't do it because we don't want to # clobber overridden values of $PATH, etc. if [ -z "$__ETC_PROFILE_DONE" ]; then . /etc/profile fi # We are not always an interactive shell. if [ -n "$PS1" ]; then ${cfg.interactiveShellInit} fi # Read system-wide modifications. if test -f /etc/bashrc.local; then . /etc/bashrc.local fi ''; # Configuration for readline in bash. We use "option default" # priority to allow user override using both .text and .source. environment.etc."inputrc".source = mkOptionDefault ./inputrc; users.defaultUserShell = mkDefault pkgs.bashInteractive; environment.pathsToLink = optionals cfg.enableCompletion [ "/etc/bash_completion.d" "/share/bash-completion" ]; environment.systemPackages = optional cfg.enableCompletion pkgs.nix-bash-completions; environment.shells = [ "/run/current-system/sw/bin/bash" "/var/run/current-system/sw/bin/bash" "/run/current-system/sw/bin/sh" "/var/run/current-system/sw/bin/sh" "${pkgs.bashInteractive}/bin/bash" "${pkgs.bashInteractive}/bin/sh" ]; }; }