diff options
| author | TitanSnow <[email protected]> | 2017-05-26 07:28:13 +0800 |
|---|---|---|
| committer | TitanSnow <[email protected]> | 2017-05-26 07:28:13 +0800 |
| commit | 86d7dbd55368a0eb520285f4da7a6f5652530034 (patch) | |
| tree | 087de3d72bee592bf20a26b459d423bb9d0d6b0a /scripts | |
| parent | 0b42538187d36973e25b42d3b8bdf145726b5247 (diff) | |
fix shellcheck
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/get.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/get.sh b/scripts/get.sh index cf07e291d..167d07beb 100755 --- a/scripts/get.sh +++ b/scripts/get.sh @@ -131,10 +131,10 @@ shell_profile(){ elif [[ "$SHELL" = */ksh ]]; then echo ~/.kshrc else echo ~/.bash_profile; fi } -xmake --version >/dev/null 2>&1 && xmake --version || { - echo "export PATH=$prefix/bin:\$PATH" >> $(shell_profile) +if xmake --version >/dev/null 2>&1; then xmake --version; else + echo "export PATH=$prefix/bin:\$PATH" >> "$(shell_profile)" export PATH=$prefix/bin:$PATH xmake --version echo "Reload shell profile by running the following command now!" echo -e "\x1b[1msource '$(shell_profile)'\x1b[0m" -} +fi |
