diff options
| author | ruki <[email protected]> | 2017-05-25 13:26:50 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2017-05-25 13:26:50 +0800 |
| commit | f39253df1fe3545529c60ae857dad37cea166918 (patch) | |
| tree | 2e77ee059fe179577fef21ac46d64a8965c2461a /scripts | |
| parent | 0c98817adb9e37ba3ca9e1c276e52f297976ea53 (diff) | |
improve get.sh to easy copy command and modify docs
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/get.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/get.sh b/scripts/get.sh index f4c605bdc..cf07e291d 100755 --- a/scripts/get.sh +++ b/scripts/get.sh @@ -135,5 +135,6 @@ xmake --version >/dev/null 2>&1 && xmake --version || { echo "export PATH=$prefix/bin:\$PATH" >> $(shell_profile) export PATH=$prefix/bin:$PATH xmake --version - echo -e "Reload shell profile by running \x1b[1msource '$(shell_profile)'\x1b[0m now!" + echo "Reload shell profile by running the following command now!" + echo -e "\x1b[1msource '$(shell_profile)'\x1b[0m" } |