diff options
| author | ruki <[email protected]> | 2019-07-18 20:53:56 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-07-18 20:53:56 +0800 |
| commit | 2745737b93ba817e7708990850c2acbbc856cdd8 (patch) | |
| tree | 880681301101d8cb0f5b9b61e2648c17a6b18165 /scripts | |
| parent | 669ddeb473b15a738e1d94c28eb570580cd433d9 (diff) | |
| parent | 74909f788acd34051cf4d32e94b5bcfe1f2c292b (diff) | |
Merge pull request #497 from OpportunityLiu/get-sh
fix duplicate write to profiles in get.sh
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 ed8db71be..8e1afdf74 100755 --- a/scripts/get.sh +++ b/scripts/get.sh @@ -183,8 +183,9 @@ fi if [[ "$SHELL" = */zsh ]]; then write_profile ~/.zshrc elif [[ "$SHELL" = */ksh ]]; then write_profile ~/.kshrc elif [[ "$SHELL" = */bash ]]; then write_profile ~/.bashrc + else write_profile ~/.bash_profile fi - write_profile ~/.bash_profile + } install_profile if xmake --version >/dev/null 2>&1; then xmake --version; else |