 Julian Ospald
|
4fef93b7b1
|
Allow to configure ghcup with a yaml config file
Fixes #41
|
2020-10-25 10:22:45 +01:00 |
|
Julian Ospald
|
e250d6013f
|
Redo Settings as AppState
|
2020-10-24 01:07:31 +02:00 |
|
Julian Ospald
|
0ce4549eb8
|
Ditch the viewport logic
|
2020-10-11 23:37:27 +02:00 |
|
Julian Ospald
|
97d568ddd6
|
Show new versions in bright white
|
2020-10-11 21:44:11 +02:00 |
|
Julian Ospald
|
ea58465240
|
Expand the selected bar
|
2020-10-11 21:16:48 +02:00 |
|
Julian Ospald
|
7afd262b1b
|
Put separators between tools
|
2020-10-11 21:07:21 +02:00 |
|
Julian Ospald
|
57c34a07f2
|
Allow to hide old versions of tools in TUI
|
2020-10-09 23:05:11 +02:00 |
|
Julian Ospald
|
73d1d97f1f
|
Reverse order of tool list in TUI
|
2020-10-09 20:25:52 +02:00 |
|
Julian Ospald
|
05cc55c52d
|
Improve brick UI
|
2020-09-21 10:40:06 +02:00 |
|
Julian Ospald
|
bb7c4205db
|
Allow to install haskell-language-server wrt #65
|
2020-09-20 23:09:09 +02:00 |
|
Julian Ospald
|
5c45884f5f
|
Allow to specify regex for subdir
|
2020-08-10 22:27:50 +02:00 |
|
Julian Ospald
|
cafedd73a2
|
Use Settings to avoid querying dirs every time
|
2020-08-10 21:52:30 +02:00 |
|
Julian Ospald
|
7d334c18f5
|
Don't stop TUI on subcommand failure
|
2020-08-10 21:51:19 +02:00 |
|
Julian Ospald
|
d30d2ac8a5
|
Add cabal-install-3.4.0.0-rc1
|
2020-08-10 21:51:00 +02:00 |
|
Julian Ospald
|
e348de8dc4
|
Drop unused error variants
|
2020-07-14 19:16:01 +02:00 |
|
Julian Ospald
|
63c70ee74b
|
Fix changelog subcommand on darwin
|
2020-07-13 23:10:17 +02:00 |
|
Julian Ospald
|
ef8e3bd940
|
Reduce number of os/dl lookups
|
2020-07-13 18:27:21 +02:00 |
|
Julian Ospald
|
1a64527e14
|
Improve verbosity
|
2020-07-13 16:27:01 +02:00 |
|
Julian Ospald
|
50424c2801
|
Allow to build with tar-bytestring on e.g. 32bit
|
2020-07-13 15:41:31 +02:00 |
|
Julian Ospald
|
c3611eec6a
|
Grey out versions without bindists in tui
|
2020-07-11 18:53:11 +02:00 |
Ben Gamari
|
2be1aa2707
|
Simplify upgrade copying logic
|
2020-07-10 22:03:04 +02:00 |
|
Julian Ospald
|
da94fa5f92
|
Create brick tui wrt #24
|
2020-07-10 21:55:12 +02:00 |