From f178b0c3cf09302141a603c417c05d96c4f62017 Mon Sep 17 00:00:00 2001
From: Fernando Schauenburg <dev@schauenburg.me>
Date: Fri, 8 Nov 2019 10:03:22 +0100
Subject: [PATCH] Fix sourcing of local bash configuration

---
 dotfiles/.config/bash/profile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dotfiles/.config/bash/profile b/dotfiles/.config/bash/profile
index bd852cf..5648028 100644
--- a/dotfiles/.config/bash/profile
+++ b/dotfiles/.config/bash/profile
@@ -371,8 +371,8 @@ if [ -d /usr/local/etc/bash_completion.d ]; then
 fi
 
 # Source a local bashrc if available
-if [ -f "$HOME/.bashrc.local" ]; then
+if [ -f "$XDG_CONFIG_HOME/bash/profile.local" ]; then
     # shellcheck disable=SC1090
-    source "$HOME/.bashrc.local"
+    source "$XDG_CONFIG_HOME/bash/profile.local"
 fi