commit 898ebf78ef1fc8f3bb90922fb4a95e939f69254b · pyrox.dev/nixpkgs

+97 -103

nixos/modules/programs/bash/bash.nix

···

       23
        
       in

     

       24
        
       

     

       25
        
       {

     

       26
       -
         imports = [

     

       27
       -
           (lib.mkRemovedOptionModule [ "programs" "bash" "enable" ] "")

     

       28
       -
         ];

     

       29
        
       

     

       30
        
         options = {

     

       31
        
       

     

       32
        
           programs.bash = {

     

       33
        
       

     

       34
       -
             /*

     

       35
       -
               enable = lib.mkOption {

     

       36
       -
                 default = true;

     

       37
       -
                 description = ''

     

       38
       -
                   Whenever to configure Bash as an interactive shell.

     

       39
       -
                   Note that this tries to make Bash the default

     

       40
       -
                   {option}`users.defaultUserShell`,

     

       41
       -
                   which in turn means that you might need to explicitly

     

       42
       -
                   set this variable if you have another shell configured

     

       43
       -
                   with NixOS.

     

       44
       -
                 '';

     

       45
       -
                 type = lib.types.bool;

     

       46
       -
               };

     

       47
       -
             */

     

       48
        
       

     

       49
        
             shellAliases = lib.mkOption {

     

       50
        
               default = { };

     
···

       129
        
       

     

       130
        
         };

     

       131
        
       

     

       132
       -
         config = # lib.mkIf cfg.enable

     

       133
       -
           {

     

       134
        
       

     

       135
       -
             programs.bash = {

     

       136
        
       

     

       137
       -
               shellAliases = builtins.mapAttrs (name: lib.mkDefault) cfge.shellAliases;

     

       138
        
       

     

       139
       -
               shellInit = ''

     

       140
       -
                 if [ -z "$__NIXOS_SET_ENVIRONMENT_DONE" ]; then

     

       141
       -
                     . ${config.system.build.setEnvironment}

     

       142
       -
                 fi

     

       143
        
       

     

       144
       -
                 ${cfge.shellInit}

     

       145
       -
               '';

     

       146
        
       

     

       147
       -
               loginShellInit = cfge.loginShellInit;

     

       148
        
       

     

       149
       -
               interactiveShellInit = ''

     

       150
       -
                 # Check the window size after every command.

     

       151
       -
                 shopt -s checkwinsize

     

       152
        
       

     

       153
       -
                 # Disable hashing (i.e. caching) of command lookups.

     

       154
       -
                 set +h

     

       155
        
       

     

       156
       -
                 ${cfg.promptInit}

     

       157
       -
                 ${cfg.promptPluginInit}

     

       158
       -
                 ${bashAliases}

     

       159
        
       

     

       160
       -
                 ${cfge.interactiveShellInit}

     

       161
       -
               '';

     

       162
        
       

     

       163
       -
             };

     

       164
        
       

     

       165
       -
             environment.etc.profile.text = ''

     

       166
       -
               # /etc/profile: DO NOT EDIT -- this file has been generated automatically.

     

       167
       -
               # This file is read for login shells.

     

       168
        
       

     

       169
       -
               # Only execute this file once per shell.

     

       170
       -
               if [ -n "$__ETC_PROFILE_SOURCED" ]; then return; fi

     

       171
       -
               __ETC_PROFILE_SOURCED=1

     

       172
        
       

     

       173
       -
               # Prevent this file from being sourced by interactive non-login child shells.

     

       174
       -
               export __ETC_PROFILE_DONE=1

     

       175
        
       

     

       176
       -
               ${cfg.shellInit}

     

       177
       -
               ${cfg.loginShellInit}

     

       178
        
       

     

       179
       -
               # Read system-wide modifications.

     

       180
       -
               if test -f /etc/profile.local; then

     

       181
       -
                   . /etc/profile.local

     

       182
       -
               fi

     

       183
        
       

     

       184
       -
               if [ -n "''${BASH_VERSION:-}" ]; then

     

       185
       -
                   . /etc/bashrc

     

       186
       -
               fi

     

       187
       -
             '';

     

       188
        
       

     

       189
       -
             environment.etc.bashrc.text = ''

     

       190
       -
               # /etc/bashrc: DO NOT EDIT -- this file has been generated automatically.

     

       191
        
       

     

       192
       -
               # Only execute this file once per shell.

     

       193
       -
               if [ -n "$__ETC_BASHRC_SOURCED" ] || [ -n "$NOSYSBASHRC" ]; then return; fi

     

       194
       -
               __ETC_BASHRC_SOURCED=1

     

       195
        
       

     

       196
       -
               # If the profile was not loaded in a parent process, source

     

       197
       -
               # it.  But otherwise don't do it because we don't want to

     

       198
       -
               # clobber overridden values of $PATH, etc.

     

       199
       -
               if [ -z "$__ETC_PROFILE_DONE" ]; then

     

       200
       -
                   . /etc/profile

     

       201
       -
               fi

     

       202
        
       

     

       203
       -
               # We are not always an interactive shell.

     

       204
       -
               if [ -n "$PS1" ]; then

     

       205
       -
                   ${cfg.interactiveShellInit}

     

       206
       -
               fi

     

       207
        
       

     

       208
       -
               # Read system-wide modifications.

     

       209
       -
               if test -f /etc/bashrc.local; then

     

       210
       -
                   . /etc/bashrc.local

     

       211
       -
               fi

     

       212
       -
             '';

     

       213
        
       

     

       214
       -
             environment.etc.bash_logout.text = ''

     

       215
       -
               # /etc/bash_logout: DO NOT EDIT -- this file has been generated automatically.

     

       216
        
       

     

       217
       -
               # Only execute this file once per shell.

     

       218
       -
               if [ -n "$__ETC_BASHLOGOUT_SOURCED" ] || [ -n "$NOSYSBASHLOGOUT" ]; then return; fi

     

       219
       -
               __ETC_BASHLOGOUT_SOURCED=1

     

       220
        
       

     

       221
       -
               ${cfg.logout}

     

       222
        
       

     

       223
       -
               # Read system-wide modifications.

     

       224
       -
               if test -f /etc/bash_logout.local; then

     

       225
       -
                   . /etc/bash_logout.local

     

       226
       -
               fi

     

       227
       -
             '';

     

       228
        
       

     

       229
       -
             # Configuration for readline in bash. We use "option default"

     

       230
       -
             # priority to allow user override using both .text and .source.

     

       231
       -
             environment.etc.inputrc.source = lib.mkOptionDefault ./inputrc;

     

       232
        
       

     

       233
       -
             users.defaultUserShell = lib.mkDefault pkgs.bashInteractive;

     

       234
        
       

     

       235
       -
             environment.pathsToLink = lib.optionals cfg.completion.enable [

     

       236
       -
               "/etc/bash_completion.d"

     

       237
       -
               "/share/bash-completion"

     

       238
       -
             ];

     

       239
        
       

     

       240
       -
             environment.shells = [

     

       241
       -
               "/run/current-system/sw/bin/bash"

     

       242
       -
               "/run/current-system/sw/bin/sh"

     

       243
       -
               "${pkgs.bashInteractive}/bin/bash"

     

       244
       -
               "${pkgs.bashInteractive}/bin/sh"

     

       245
       -
             ];

     

       246
        
       

     

       247
       -
           };

     

       248
        
       

     

       249
        
       }

···

       23
        
       in

     

       24
        
       

     

       25
        
       {

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       26
        
       

     

       27
        
         options = {

     

       28
        
       

     

       29
        
           programs.bash = {

     

       30
        
       

     

       31
       +
             enable = lib.mkOption {

     

       32
       +
               default = true;

     

       33
       +
               description = ''

     

       34
       +
                 Whenever to configure Bash as an interactive shell.

     

       35
       +
                 Note that this tries to make Bash the default

     

       36
       +
                 {option}`users.defaultUserShell`,

     

       37
       +
                 which in turn means that you might need to explicitly

     

       38
       +
                 set this variable if you have another shell configured

     

       39
       +
                 with NixOS.

     

       40
       +
               '';

     

       41
       +
               type = lib.types.bool;

     

       42
       +
             };

     

       0
        
       
     

       0
        
       
     

       43
        
       

     

       44
        
             shellAliases = lib.mkOption {

     

       45
        
               default = { };

     
···

       124
        
       

     

       125
        
         };

     

       126
        
       

     

       127
       +
         config = lib.mkIf cfg.enable {

     

       0
        
       
     

       128
        
       

     

       129
       +
           programs.bash = {

     

       130
        
       

     

       131
       +
             shellAliases = builtins.mapAttrs (name: lib.mkDefault) cfge.shellAliases;

     

       132
        
       

     

       133
       +
             shellInit = ''

     

       134
       +
               if [ -z "$__NIXOS_SET_ENVIRONMENT_DONE" ]; then

     

       135
       +
                   . ${config.system.build.setEnvironment}

     

       136
       +
               fi

     

       137
        
       

     

       138
       +
               ${cfge.shellInit}

     

       139
       +
             '';

     

       140
        
       

     

       141
       +
             loginShellInit = cfge.loginShellInit;

     

       142
        
       

     

       143
       +
             interactiveShellInit = ''

     

       144
       +
               # Check the window size after every command.

     

       145
       +
               shopt -s checkwinsize

     

       146
        
       

     

       147
       +
               # Disable hashing (i.e. caching) of command lookups.

     

       148
       +
               set +h

     

       149
        
       

     

       150
       +
               ${cfg.promptInit}

     

       151
       +
               ${cfg.promptPluginInit}

     

       152
       +
               ${bashAliases}

     

       153
        
       

     

       154
       +
               ${cfge.interactiveShellInit}

     

       155
       +
             '';

     

       156
        
       

     

       157
       +
           };

     

       158
        
       

     

       159
       +
           environment.etc.profile.text = ''

     

       160
       +
             # /etc/profile: DO NOT EDIT -- this file has been generated automatically.

     

       161
       +
             # This file is read for login shells.

     

       162
        
       

     

       163
       +
             # Only execute this file once per shell.

     

       164
       +
             if [ -n "$__ETC_PROFILE_SOURCED" ]; then return; fi

     

       165
       +
             __ETC_PROFILE_SOURCED=1

     

       166
        
       

     

       167
       +
             # Prevent this file from being sourced by interactive non-login child shells.

     

       168
       +
             export __ETC_PROFILE_DONE=1

     

       169
        
       

     

       170
       +
             ${cfg.shellInit}

     

       171
       +
             ${cfg.loginShellInit}

     

       172
        
       

     

       173
       +
             # Read system-wide modifications.

     

       174
       +
             if test -f /etc/profile.local; then

     

       175
       +
                 . /etc/profile.local

     

       176
       +
             fi

     

       177
        
       

     

       178
       +
             if [ -n "''${BASH_VERSION:-}" ]; then

     

       179
       +
                 . /etc/bashrc

     

       180
       +
             fi

     

       181
       +
           '';

     

       182
        
       

     

       183
       +
           environment.etc.bashrc.text = ''

     

       184
       +
             # /etc/bashrc: DO NOT EDIT -- this file has been generated automatically.

     

       185
        
       

     

       186
       +
             # Only execute this file once per shell.

     

       187
       +
             if [ -n "$__ETC_BASHRC_SOURCED" ] || [ -n "$NOSYSBASHRC" ]; then return; fi

     

       188
       +
             __ETC_BASHRC_SOURCED=1

     

       189
        
       

     

       190
       +
             # If the profile was not loaded in a parent process, source

     

       191
       +
             # it.  But otherwise don't do it because we don't want to

     

       192
       +
             # clobber overridden values of $PATH, etc.

     

       193
       +
             if [ -z "$__ETC_PROFILE_DONE" ]; then

     

       194
       +
                 . /etc/profile

     

       195
       +
             fi

     

       196
        
       

     

       197
       +
             # We are not always an interactive shell.

     

       198
       +
             if [ -n "$PS1" ]; then

     

       199
       +
                 ${cfg.interactiveShellInit}

     

       200
       +
             fi

     

       201
        
       

     

       202
       +
             # Read system-wide modifications.

     

       203
       +
             if test -f /etc/bashrc.local; then

     

       204
       +
                 . /etc/bashrc.local

     

       205
       +
             fi

     

       206
       +
           '';

     

       207
        
       

     

       208
       +
           environment.etc.bash_logout.text = ''

     

       209
       +
             # /etc/bash_logout: DO NOT EDIT -- this file has been generated automatically.

     

       210
        
       

     

       211
       +
             # Only execute this file once per shell.

     

       212
       +
             if [ -n "$__ETC_BASHLOGOUT_SOURCED" ] || [ -n "$NOSYSBASHLOGOUT" ]; then return; fi

     

       213
       +
             __ETC_BASHLOGOUT_SOURCED=1

     

       214
        
       

     

       215
       +
             ${cfg.logout}

     

       216
        
       

     

       217
       +
             # Read system-wide modifications.

     

       218
       +
             if test -f /etc/bash_logout.local; then

     

       219
       +
                 . /etc/bash_logout.local

     

       220
       +
             fi

     

       221
       +
           '';

     

       222
        
       

     

       223
       +
           # Configuration for readline in bash. We use "option default"

     

       224
       +
           # priority to allow user override using both .text and .source.

     

       225
       +
           environment.etc.inputrc.source = lib.mkOptionDefault ./inputrc;

     

       226
        
       

     

       227
       +
           users.defaultUserShell = lib.mkDefault pkgs.bashInteractive;

     

       228
        
       

     

       229
       +
           environment.pathsToLink = lib.optionals cfg.completion.enable [

     

       230
       +
             "/etc/bash_completion.d"

     

       231
       +
             "/share/bash-completion"

     

       232
       +
           ];

     

       233
        
       

     

       234
       +
           environment.shells = [

     

       235
       +
             "/run/current-system/sw/bin/bash"

     

       236
       +
             "/run/current-system/sw/bin/sh"

     

       237
       +
             "${pkgs.bashInteractive}/bin/bash"

     

       238
       +
             "${pkgs.bashInteractive}/bin/sh"

     

       239
       +
           ];

     

       240
        
       

     

       241
       +
         };

     

       242
        
       

     

       243
        
       }