diff options
| author | ruki <[email protected]> | 2020-04-02 23:56:58 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-04-02 23:56:58 +0800 |
| commit | 33119c0368854f19bddf128c3f43ea14e741f5c8 (patch) | |
| tree | 371af4be655939dd59d65ac9479f74e25357fdc7 | |
| parent | 6e7428ce2cd5cc4ead8275b027550054d847c23f (diff) | |
| parent | 2251dbb3dfe6860ba7f433385b6b8e2d4f5ccc40 (diff) | |
Merge pull request #741 from KB5201314/dev
fix scripts/get.sh
| -rwxr-xr-x | scripts/get.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/get.sh b/scripts/get.sh index 4aca01913..e1f8b89ff 100755 --- a/scripts/get.sh +++ b/scripts/get.sh @@ -209,7 +209,7 @@ else fi write_profile() { - grep -sq ".xmake/profile" $1 || echo "[[ -s \"\$HOME/.xmake/profile\" ]] && source \"\$HOME/.xmake/profile\" # load xmake profile" >> $1 + grep -sq ".xmake/profile" $1 || echo -e "\n[[ -s \"\$HOME/.xmake/profile\" ]] && source \"\$HOME/.xmake/profile\" # load xmake profile" >> $1 } install_profile() { |