Commit Graph

29 Commits

Author SHA1 Message Date
0c6699c3c6
Allow to check ghcup binaries in validate-tarballs 2021-04-11 22:15:43 +02:00
adf44ba141
Validate subdirs too, fixes #52 2021-04-02 16:54:27 +02:00
d5b5f1fddd
Chores 2021-03-24 17:56:57 +01:00
8c87c9aeb7
Fix error messages and overhaul pretty printing
Fixes #115
2021-03-02 10:35:31 +01:00
08943dadca
Fix validation 2021-02-26 16:06:08 +01:00
f547a6eb68
Support ARM/AARCH 2021-02-25 11:53:36 +01:00
f964382175
Tighten checks, alpine 32bit bindists is 1st class 2021-02-21 15:37:05 +01:00
amesgen
5c43ff4c9e
error if we check nothing 2021-01-02 08:51:57 +01:00
amesgen
53db68e39f
minor tarball filter format change 2021-01-02 07:58:08 +01:00
amesgen
62d5d53232
filter tool and version instead of URL 2021-01-02 05:53:11 +01:00
amesgen
56569a0698
use regex instead of substring 2021-01-02 05:05:05 +01:00
amesgen
8944ed6e36
allow to filter tarball validation by a URL substring
also, use nubOrd for linearithmic instead of quadratic complexity
2021-01-01 05:45:58 +01:00
53f5a08924
Allow configuring URLSource as well 2020-10-25 14:47:26 +01:00
4fef93b7b1
Allow to configure ghcup with a yaml config file
Fixes #41
2020-10-25 10:22:45 +01:00
e250d6013f
Redo Settings as AppState 2020-10-24 01:07:31 +02:00
57c34a07f2
Allow to hide old versions of tools in TUI 2020-10-09 23:05:11 +02:00
93c17607b5
Fix haddock build, fixes #62 2020-09-15 17:44:30 +02:00
d2c5d4dfd9
Test that we're not missing GHCup alpine 2020-08-11 20:23:15 +02:00
cafedd73a2
Use Settings to avoid querying dirs every time 2020-08-10 21:52:30 +02:00
d30d2ac8a5
Add cabal-install-3.4.0.0-rc1 2020-08-10 21:51:00 +02:00
1a64527e14
Improve verbosity 2020-07-13 16:27:01 +02:00
f46700e1cc
First cross try 2020-04-29 20:19:01 +02:00
0ff7ebb1fd
Allow to set downloader 2020-04-29 19:12:58 +02:00
bcaccaaf31
Implement --keep 2020-04-22 19:32:14 +02:00
4ed5e21b7f
Validate that all GHC versions have a base tag 2020-04-22 16:13:23 +02:00
6c12eb16eb
Add base tag 2020-04-22 11:59:40 +02:00
e637f90fae
List stray tools 2020-04-21 23:37:48 +02:00
8a1bd45ffe Remove URLSource from Settings 2020-03-17 18:39:01 +01:00
a93aaf9a5f Initial commit 2020-03-09 00:44:11 +01:00