diff options
| author | jdhao <jdhao@hotmail.com> | 2020-03-17 17:04:25 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-17 17:04:25 +0800 |
| commit | 0c0099c301f78aad3f596a6038a2751bb61c50d6 (patch) | |
| tree | 474fcc0da0da5bb3f004298a7bcc1e15b6b23ea9 /docs | |
| parent | bffd6bac7070dae9ec60e615709104b5878d9006 (diff) | |
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
Diffstat (limited to 'docs')
| -rwxr-xr-x | docs/Nvim_setup.sh | 8 |
1 files changed, 0 insertions, 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" |