.profile: Source in site-specific profile

2020-04-03 03:41:15 -05:00 · 2020-04-03 03:41:15 -05:00 · 38a0533fd7
commit 38a0533fd7
parent ada26e430b
1 changed files with 6 additions and 0 deletions
--- a/.profile
+++ b/.profile
@ -366,3 +366,9 @@ unset gnubin
 unset -v _baseshell
 unset -f has

+# Source in a site-specific profile
+localprofile="$HOME/.local/profile"
+if [ -f "$localprofile" ]; then
+	. "$localprofile"
+fi
+