From d9a0208b1448845c09454070bee59997f9fc53e1 Mon Sep 17 00:00:00 2001 From: Carl Kittelberger Date: Fri, 6 Jul 2018 09:24:04 +0200 Subject: [PATCH] Get rid of shellcheck warning. --- home/dotfiles/profile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/home/dotfiles/profile b/home/dotfiles/profile index 8a01f2e..989fadc 100644 --- a/home/dotfiles/profile +++ b/home/dotfiles/profile @@ -254,7 +254,8 @@ if [ $PROFILE_CUSTOM -gt 0 ]; then log "Checking if local profile code exists at ~/.local_profile..." if [ -f ~/.local_profile ]; then log "Exists, loading." - source ~/.local_profile + # shellcheck source=/dev/null + . ~/.local_profile else log "Does not exist, skipping." fi