From 0c0099c301f78aad3f596a6038a2751bb61c50d6 Mon Sep 17 00:00:00 2001 From: jdhao Date: Tue, 17 Mar 2020 17:04:25 +0800 Subject: [PATCH] Update: remove the source part. Sourcing bash_profile inside shell script does not work as expected. We should source it outside the script manually. See also: https://stackoverflow.com/questions/50156206/source-bash-profile-do-not-works-inside-a-bash-script --- docs/Nvim_setup.sh | 8 -------- 1 file changed, 8 deletions(-) diff --git a/docs/Nvim_setup.sh b/docs/Nvim_setup.sh index 01a8bdc..46c160c 100755 --- a/docs/Nvim_setup.sh +++ b/docs/Nvim_setup.sh @@ -156,11 +156,3 @@ git clone https://github.com/jdhao/nvim-config.git "$NVIM_CONFIG_DIR" \ if [[ "$ADD_TO_SYSTEM_PATH" = true ]]; then echo "export PATH=\"$NVIM_DIR/bin:\$PATH\"" >> "$HOME/.bash_profile" fi - - -####################################################################### -# Post processing # -####################################################################### -# Let PATH changes take effect -# shellcheck source=/dev/null -source "$HOME/.bash_profile"