Add support for mirrors wrt #357

2022-12-04 00:15:13 +08:00
parent 109187eb6f
commit 703be0a706
6 changed files with 87 additions and 9 deletions
--- a/app/ghcup/Main.hs
+++ b/app/ghcup/Main.hs
@@ -89,6 +89,7 @@ toSettings options = do
         noNetwork   = fromMaybe (fromMaybe (Types.noNetwork defaultSettings) uNoNetwork) optNoNetwork
         gpgSetting  = fromMaybe (fromMaybe (Types.gpgSetting defaultSettings) uGPGSetting) optGpg
         platformOverride = optPlatform <|> (uPlatformOverride <|> Types.platformOverride defaultSettings)
+         mirrors  = fromMaybe (Types.mirrors defaultSettings) uMirrors
     in (Settings {..}, keyBindings)
 #if defined(INTERNAL_DOWNLOADER)
   defaultDownloader = Internal