Allow injecting extra profile config.

2022-05-28 23:00:55 +02:00 · 2022-05-28 23:00:55 +02:00 · 6dd79c7b6d
parent 223ff60a0c
commit 6dd79c7b6d
1 changed files with 4 additions and 0 deletions
--- a/.config/shell/profile
+++ b/.config/shell/profile
@ -44,3 +44,7 @@ for DIR in "${PATHS[@]}"; do
    ! [ -d "$DIR" ] && continue
    export PATH="$DIR:$PATH"
 done
+
+# Add the profile-extras file yourself if you wish to override anything:
+PROFILE_EXTRAS="${XDG_CONFIG_HOME:-$HOME/.config}/shell/profile-extras"
+[ -f "$PROFILE_EXTRAS" ] && . "$PROFILE_EXTRAS"