From 4ff0387bf0d3f58e7d6a5779c9205c6df204fd53 Mon Sep 17 00:00:00 2001
From: John Mertz <git@john.me.tz>
Date: Wed, 31 Jan 2024 21:55:28 -0700
Subject: [PATCH] Source distrobox-specific paths, if available

---
 bash/bash_profile.distrobox | 5 +++++
 bash/bash_profile.host      | 5 ++++-
 bash/path.distrobox         | 4 ++++
 3 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/bash/bash_profile.distrobox b/bash/bash_profile.distrobox
index e69de29bb..18a288b8a 100644
--- a/bash/bash_profile.distrobox
+++ b/bash/bash_profile.distrobox
@@ -0,0 +1,5 @@
+# vim: ft=sh
+
+if [ -f "$HOME/.dotfiles/bash/path.distrobox" ]; then
+	source "$HOME/.dotfiles/bash/path.distrobox"
+fi
diff --git a/bash/bash_profile.host b/bash/bash_profile.host
index 1760efb00..08cecc3b6 100644
--- a/bash/bash_profile.host
+++ b/bash/bash_profile.host
@@ -1,2 +1,5 @@
 # vim: ft=sh
-
+#
+if [ -f "$HOME/.dotfiles/bash/path.host" ]; then
+        source "$HOME/.dotfiles/bash/path.host"
+fi
diff --git a/bash/path.distrobox b/bash/path.distrobox
index 1834ba74c..6c1b07b42 100644
--- a/bash/path.distrobox
+++ b/bash/path.distrobox
@@ -1 +1,5 @@
 # vim: ft=sh
+
+if [ -f "$HOME/.dotfiles/bash/path.$DISTROBOX" ]; then
+	source $HOME/.dotfiles/bash/path.$DISTROBOX
+fi