From 38a0533fd791547f4d5453efa6a556615fedfbe1 Mon Sep 17 00:00:00 2001 From: Salt Date: Fri, 3 Apr 2020 03:41:15 -0500 Subject: [PATCH] .profile: Source in site-specific profile --- .profile | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.profile b/.profile index 0831ef8e..091ae9ba 100755 --- 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 +