diff options
| author | tv <tv@krebsco.de> | 2023-01-11 16:53:26 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2023-01-11 17:23:48 +0100 |
| commit | ab8139704a331b88d72d533ac4206464ae069f7c (patch) | |
| tree | 9116cfbae3f342024b1aa2ba7daf9643ce92246a /tv/2configs/bash | |
| parent | 59a447ac046424c27fa926a2416885c4f6724a7a (diff) | |
tv bash: optionally source $BASH_EXTRA_INIT
Diffstat (limited to 'tv/2configs/bash')
| -rw-r--r-- | tv/2configs/bash/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tv/2configs/bash/default.nix b/tv/2configs/bash/default.nix index e38566b78..57801d964 100644 --- a/tv/2configs/bash/default.nix +++ b/tv/2configs/bash/default.nix @@ -39,6 +39,10 @@ with import ./lib; esac ${pkgs.bash-fzf-history.bind} + + if test -n "''${BASH_EXTRA_INIT-}"; then + . "$BASH_EXTRA_INIT" + fi ''; promptInit = /* sh */ '' case $UID in |