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 +