aboutsummaryrefslogtreecommitdiff
path: root/public
diff options
context:
space:
mode:
authorMitsuo Tokumori <mitsuo@tokumori.xyz>2025-12-30 01:32:10 +0900
committerMitsuo Tokumori <mitsuo@tokumori.xyz>2025-12-30 01:32:10 +0900
commitbfe8bb6a348b8c6c4551e83fcb49a61cf26ebc0f (patch)
tree0adf4ff06d017747f6f995033877939fb5291e6d /public
parent0ce397b396a8ae403e67adb8e29f578dfade7390 (diff)
Fix .profileHEADmaster
If $SHELL is /usr/bin/bash previous .profile script fails
Diffstat (limited to 'public')
-rw-r--r--public/.profile6
1 files changed, 2 insertions, 4 deletions
diff --git a/public/.profile b/public/.profile
index 956694c..0f2670d 100644
--- a/public/.profile
+++ b/public/.profile
@@ -6,7 +6,5 @@
# for ssh logins, install and configure the libpam-umask package.
#umask 022
-# if bash
-if [ "$SHELL" = "/bin/bash" ]; then
- . ~/.bashrc
-fi
+# if running bash
+[ -n "$BASH_VERSION" ] && [ -f "$HOME/.bashrc" ] && source "$HOME/.bashrc"