tv bash: optionally source $BASH_EXTRA_INIT

2023-01-11 16:53:26 +01:00 · 2023-01-11 16:53:26 +01:00 · ab8139704a
commit ab8139704a
parent 59a447ac04
1 changed files with 4 additions and 0 deletions
--- 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