Make GHC removal safer

Fixes #18
This commit is contained in:
2018-10-27 16:18:14 +08:00
parent d232aa4993
commit 34aa368e9b
2 changed files with 38 additions and 3 deletions

View File

@@ -16,8 +16,8 @@ edo ./ghcup -v set 8.6.1
edo ./ghcup -v set 8.4.3
# rm GHC
edo ./ghcup -v rm 8.6.1
edo ./ghcup -v rm 8.4.3
edo ./ghcup -v rm -f 8.6.1
edo ./ghcup -v rm -f 8.4.3
# set GHC
edo ./ghcup -v set 8.2.2