From 1e5a82249ee24ca1c42064d5e969640ef82abd4f Mon Sep 17 00:00:00 2001 From: Eric Teunis de Boone Date: Fri, 11 Feb 2022 14:00:06 +0100 Subject: [PATCH] [profile] Source ./local/profile.private if available --- profile.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/profile.sh b/profile.sh index 828387c..a1806d5 100644 --- a/profile.sh +++ b/profile.sh @@ -11,5 +11,8 @@ export XDG_CONFIG_HOME="$HOME/.config" # Always source a local profile [ -r "$HOME/.profile.local" ] && source "$HOME/.profile.local" +# Use the local(ly linked) profile.private +[ -r "$HOME/.local/profile.private" ] && source "$HOME/.local/profile.private" + # Also check in .local for a profile [ -r "$HOME/.local/profile" ] && source "$HOME/.local/profile"