2020-10-25 13:17:17 +00:00
|
|
|
# Cache downloads in ~/.ghcup/cache
|
|
|
|
cache: False
|
|
|
|
# Skip tarball checksum verification
|
|
|
|
no-verify: False
|
|
|
|
# enable verbosity
|
|
|
|
verbose: False
|
|
|
|
# When to keep build directories
|
|
|
|
keep-dirs: Errors # Always | Never | Errors
|
|
|
|
# Which downloader to use
|
|
|
|
downloader: Curl # Curl | Wget | Internal
|
2021-09-18 17:45:32 +00:00
|
|
|
# whether to run in offline mode
|
|
|
|
no-network: False
|
|
|
|
# whether/how to do gpg verification
|
|
|
|
gpg-setting: GPGNone # GPGStrict | GPGLax | GPGNone
|
2020-10-25 13:17:17 +00:00
|
|
|
|
|
|
|
# TUI key bindings,
|
|
|
|
# see https://hackage.haskell.org/package/vty-5.31/docs/Graphics-Vty-Input-Events.html#t:Key
|
|
|
|
# for possible values.
|
2023-10-21 12:20:59 +00:00
|
|
|
# It's also possible to define key+modifier, e.g.:
|
|
|
|
# quit:
|
|
|
|
# Key:
|
|
|
|
# KChar: c
|
|
|
|
# Mods: [MCtrl]
|
2020-10-25 13:17:17 +00:00
|
|
|
key-bindings:
|
|
|
|
up:
|
|
|
|
KUp: []
|
|
|
|
down:
|
|
|
|
KDown: []
|
|
|
|
quit:
|
|
|
|
KChar: 'q'
|
|
|
|
install:
|
|
|
|
KChar: 'i'
|
|
|
|
uninstall:
|
|
|
|
KChar: 'u'
|
|
|
|
set:
|
|
|
|
KChar: 's'
|
|
|
|
changelog:
|
|
|
|
KChar: 'c'
|
|
|
|
show-all:
|
|
|
|
KChar: 'a'
|
2021-05-14 22:31:36 +00:00
|
|
|
show-all-tools:
|
|
|
|
KChar: 't'
|
2020-10-25 13:17:17 +00:00
|
|
|
|
2021-10-30 11:23:02 +00:00
|
|
|
# The caching for the metadata files containing download info, depending on last access time
|
|
|
|
# of the file. These usually are in '~/.ghcup/cache/ghcup-<ver>.yaml'.
|
|
|
|
meta-cache: 300 # in seconds
|
|
|
|
|
2023-01-01 11:04:00 +00:00
|
|
|
# When trying to download ghcup metadata, this option decides what to do
|
|
|
|
# when the download fails:
|
|
|
|
# 1. Lax: use existing ~/.ghcup/cache/ghcup-<ver>.yaml as fallback (default)
|
|
|
|
# 2. Strict: fail hard
|
|
|
|
meta-mode: Lax # Strict | Lax
|
|
|
|
|
2023-10-24 16:35:41 +00:00
|
|
|
# Where to get GHC/cabal/hls download info/versions from. This is a list that performs
|
|
|
|
# union over tool versions, preferring the later entries.
|
2020-10-25 13:17:17 +00:00
|
|
|
url-source:
|
|
|
|
## Use the internal download uri, this is the default
|
2023-10-24 16:35:41 +00:00
|
|
|
- GHCupURL
|
2020-10-25 13:17:17 +00:00
|
|
|
|
2023-10-24 16:35:41 +00:00
|
|
|
## Prefer stack supplied metadata (will still use GHCup metadata for versions not existing in stack metadata)
|
|
|
|
# - StackSetupURL
|
2020-10-25 13:17:17 +00:00
|
|
|
|
2023-10-24 16:35:41 +00:00
|
|
|
## Add pre-release channel
|
|
|
|
# - https://raw.githubusercontent.com/haskell/ghcup-metadata/master/ghcup-prereleases-0.0.7.yaml
|
|
|
|
## Add nightly channel
|
|
|
|
# - https://ghc.gitlab.haskell.org/ghcup-metadata/ghcup-nightlies-0.0.7.yaml
|
|
|
|
## Add cross compiler channel
|
|
|
|
# - https://raw.githubusercontent.com/haskell/ghcup-metadata/master/ghcup-cross-0.0.8.yaml
|
2020-10-25 13:17:17 +00:00
|
|
|
|
2023-10-24 16:35:41 +00:00
|
|
|
## Use dwarf bindist for 9.4.7 for ghcup metadata
|
|
|
|
# - ghcup-info:
|
|
|
|
# ghcupDownloads:
|
|
|
|
# GHC:
|
|
|
|
# 9.4.7:
|
|
|
|
# viTags: []
|
|
|
|
# viArch:
|
|
|
|
# A_64:
|
|
|
|
# Linux_UnknownLinux:
|
|
|
|
# unknown_versioning:
|
|
|
|
# dlUri: https://downloads.haskell.org/ghc/9.4.7/ghc-9.4.7-x86_64-deb10-linux-dwarf.tar.xz
|
|
|
|
# dlSubdir:
|
|
|
|
# RegexDir: "ghc-.*"
|
|
|
|
# dlHash: b261b3438ba455e3cf757f9c8dc3a06fdc061ea8ec287a65b7809e25fe18bad4
|
2023-10-22 13:50:27 +00:00
|
|
|
|
2023-10-24 16:35:41 +00:00
|
|
|
## for stack metadata and the linux64-tinfo6 bindists, use static alpine for 9.8.1
|
|
|
|
# - setup-info:
|
|
|
|
# ghc:
|
|
|
|
# linux64-tinfo6:
|
|
|
|
# 9.8.1:
|
|
|
|
# url: "https://downloads.haskell.org/~ghc/9.8.1/ghc-9.8.1-x86_64-alpine3_12-linux-static.tar.xz"
|
|
|
|
# content-length: 229037440
|
|
|
|
# sha256: b48f3d3a508d0c140d1c801e04afc65e80c0d25e7e939a8a41edb387b26b81b3
|
2023-10-22 13:50:27 +00:00
|
|
|
|
2022-11-12 06:12:13 +00:00
|
|
|
# This is a way to override platform detection, e.g. when you're running
|
2023-11-30 09:12:46 +00:00
|
|
|
# a Ubuntu derivative based on 18.04, you could do:
|
2022-11-12 06:12:13 +00:00
|
|
|
#
|
|
|
|
# platform-override:
|
|
|
|
# arch: A_64
|
|
|
|
# platform:
|
|
|
|
# contents: Ubuntu
|
|
|
|
# tag: Linux
|
|
|
|
# version: '18.04'
|
|
|
|
platform-override: null
|
2022-12-03 16:15:13 +00:00
|
|
|
|
|
|
|
# Support for mirrors. Currently there are 3 hosts you can mirror:
|
|
|
|
# - github.com (for stack and some older HLS versions)
|
|
|
|
# - raw.githubusercontent.com (for the yaml metadata)
|
|
|
|
# - downloads.haskell.org (for everything else)
|
|
|
|
#
|
|
|
|
# E.g. when we have 'https://raw.githubusercontent.com/haskell/ghcup-metadata/master/ghcup-0.0.7.yaml'
|
|
|
|
# and the following mirror config
|
|
|
|
#
|
|
|
|
# "raw.githubusercontent.com":
|
|
|
|
# authority:
|
|
|
|
# host: "mirror.sjtu.edu.cn"
|
|
|
|
# pathPrefix: "ghcup/yaml"
|
|
|
|
#
|
|
|
|
# Then the resulting url will be 'https://mirror.sjtu.edu.cn/ghcup/yaml/haskell/ghcup-metadata/master/ghcup-0.0.7.yaml'
|
|
|
|
mirrors:
|
|
|
|
"github.com":
|
|
|
|
authority:
|
|
|
|
host: "mirror.sjtu.edu.cn"
|
|
|
|
"raw.githubusercontent.com":
|
|
|
|
authority:
|
|
|
|
host: "mirror.sjtu.edu.cn"
|
|
|
|
pathPrefix: "ghcup/yaml"
|
|
|
|
"downloads.haskell.org":
|
|
|
|
authority:
|
|
|
|
host: "mirror.sjtu.edu.cn"
|
|
|
|
|