Merge remote-tracking branch 'origin/merge-requests/283'

This commit is contained in:
Julian Ospald 2022-08-24 22:34:21 +08:00
commit 81c7f6a32a
Signed by: hasufell
GPG Key ID: 3786C5262ECB4A3F
1 changed files with 1 additions and 1 deletions

View File

@ -138,7 +138,7 @@ data AlreadyInstalled = AlreadyInstalled Tool Version
instance Pretty AlreadyInstalled where
pPrint (AlreadyInstalled tool ver') =
(pPrint tool <> text "-" <> pPrint ver') <+> text "is already installed;"
<+> text "if you really want to reinstall it, you may want to run 'ghcup install cabal --force" <+> (pPrint ver' <> text "'")
<+> text "if you really want to reinstall it, you may want to run 'ghcup install" <+> pPrint tool <+> text "--force" <+> (pPrint ver' <> text "'")
-- | The Directory is supposed to be empty, but wasn't.