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 | 849d24a515a30a2169191e0345d3c408a560b0fa (patch) | |
| tree | 1c89e84b90f56baf3441a22546b0bda40ceaa5f8 /tv/2configs/bash | |
| parent | 10e83999900038a0055f83e915333b715c3bfe23 (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 e38566b..57801d9 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 |