From ab8139704a331b88d72d533ac4206464ae069f7c Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Wed, 11 Jan 2023 16:53:26 +0100
Subject: tv bash: optionally source $BASH_EXTRA_INIT

---
 tv/2configs/bash/default.nix | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'tv/2configs')

diff --git a/tv/2configs/bash/default.nix b/tv/2configs/bash/default.nix
index e38566b7..57801d96 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
-- 
cgit v1.2.3