commit 1a1367bbbd9f69e1c67d6406ef915f0709e08ed8 parent 5d2f1f35fcdb2e0d4b1ed411c6142792f2dfb87c Author: Robert Russell <robert@rr3.xyz> Date: Sat, 1 Aug 2026 18:26:02 -0700 shell: fix bash_profile Diffstat:
| M | shell/.bash_profile | | | 1 | + |
| M | shell/.shinit | | | 8 | +++++++- |
2 files changed, 8 insertions(+), 1 deletion(-)
diff --git a/shell/.bash_profile b/shell/.bash_profile @@ -2,6 +2,7 @@ true # In case anything tries prepending below comments. # ↑↑↑ MACHINE GENERATED ↑↑↑ # ------------------------------------------------------------------------------ +. "$HOME"/.shinit sourcefile "$HOME"/.profile sourcefile "$HOME"/.bashrc diff --git a/shell/.shinit b/shell/.shinit @@ -7,7 +7,11 @@ sourcefile() { return 1 fi - [ -f "$1" ] && . "$1" + if [ -f "$1" ]; then + . "$1" + else + echo "sourcefile: file not found: $1" >&2 + fi return 0 } @@ -23,6 +27,8 @@ sourcedir() { sourcefile "$f" done unset f + else + echo "sourcedir: dir not found: $1" >&2 fi return 0