Luis Morillo
|
0e46b9509a
|
complete tutorial. remove show all tools from widgets. resolve some conflicts.
|
2023-11-23 16:05:12 +01:00 |
|
Luis Morillo
|
d3474d0cd9
|
add KeyInfo handler and widget. Improve tutorial
|
2023-11-23 15:32:23 +01:00 |
|
Luis Morillo
|
5c3dad1bb9
|
reorganize code by sections
|
2023-11-23 15:31:33 +01:00 |
|
Luis Morillo
|
987cdaf313
|
factor out attr names. Add windows symbols to tutotial widget. Improve tutorial aesthetics and text
|
2023-11-23 15:28:21 +01:00 |
|
Luis Morillo
|
835352428a
|
simplify rendering for better ux
|
2023-11-23 15:28:19 +01:00 |
|
Luis Morillo
|
8f4246e716
|
Use proper Name type and Modal type. Create tutorial Widget
|
2023-11-23 15:27:33 +01:00 |
|
Luis Morillo
|
1353a2fd20
|
use map-like data structure
|
2023-11-23 15:26:49 +01:00 |
|
Luis Morillo
|
aa9fbdbfc2
|
Use MonadState Instance to simplify install', del', set' and changelog'. Lensify the app
|
2023-11-23 15:24:24 +01:00 |
|
|
|
3a8cdf9967
|
Fix opening changelog on windows
|
2023-11-20 22:36:17 +08:00 |
|
|
|
2caf491e9d
|
Remove the "show all tool" config
We show all tools at the moment anyway.
|
2023-11-18 18:55:06 +08:00 |
|
|
|
d277e56121
|
Improve logging by dropping trailing newline
|
2023-11-18 13:09:19 +08:00 |
|
|
|
335099ad19
|
Add rocky/void detection
|
2023-11-17 17:03:10 +08:00 |
|
|
|
b1106985ec
|
Merge branch 'monday-improvements'
|
2023-11-14 23:16:42 +08:00 |
|
|
|
cd8ce9aaa9
|
Update test artifact upload
|
2023-11-14 22:11:28 +08:00 |
|
|
|
18f0cb086b
|
Fix tests
|
2023-11-14 09:37:07 +08:00 |
|
|
|
dee54445bf
|
Merge remote-tracking branch 'origin/pr/928'
|
2023-11-13 17:50:37 +08:00 |
|
Bryan Richter
|
2df59fd1b3
|
Emphasize experimental nature of wasm and js
|
2023-11-13 11:28:14 +02:00 |
|
|
|
2e5dee8e1a
|
Add mechanism to warn on new metadata versions, fixes #860
|
2023-11-13 16:53:24 +08:00 |
|
|
|
c6aa5c3ed7
|
Don't remove share dir link prematurely
|
2023-11-13 16:00:48 +08:00 |
|
|
|
47ef380ebd
|
Add update-shell-completions.sh
|
2023-11-13 16:00:31 +08:00 |
|
|
|
d6601b0353
|
Remove globalTools from metadata
|
2023-11-13 15:39:58 +08:00 |
|
|
|
0eba225723
|
Update modgraph
|
2023-11-13 15:21:54 +08:00 |
|
|
|
e7d91d138b
|
Improve metadata documentation
|
2023-11-13 15:19:58 +08:00 |
|
|
|
0103e2771e
|
Merge branch 'sunday-improvements'
|
2023-11-12 22:50:09 +08:00 |
|
|
|
b6246734e4
|
Givee cross bindists it's own doc section
|
2023-11-12 18:47:54 +08:00 |
|
|
|
6146c3494f
|
Improve documentation for cross bindists
|
2023-11-12 18:39:06 +08:00 |
|
|
|
e5a7a2da70
|
Fix prefetch for cross bindists
|
2023-11-12 18:21:49 +08:00 |
|
|
|
6047614a16
|
Be less confusing when user tries to 'set' ghcup in TUI
Fixes #923
|
2023-11-12 17:36:00 +08:00 |
|
|
|
6a86e9e77e
|
Fix failure mode when metadata is garbage, fixes #921
|
2023-11-12 17:11:33 +08:00 |
|
|
|
4132447e04
|
Require user to explicitly choose subcommand for 'ghcup config'
This should further reduce confusion wrt #922
|
2023-11-12 16:49:39 +08:00 |
|
|
|
9d223730de
|
Error out on empty UserSettings wrt #922
|
2023-11-12 16:49:06 +08:00 |
|
|
|
ad9199568b
|
Don't download twice when trying stack decoding
|
2023-11-12 16:24:39 +08:00 |
|
|
|
0d91c2ac14
|
Make install error more visible
|
2023-11-12 15:59:15 +08:00 |
|
|
|
8644ca41e1
|
Merge remote-tracking branch 'origin/pr/924'
|
2023-11-12 12:19:56 +08:00 |
|
Cheng Shao
|
6051c0cfbc
|
Bump minimum windows version to 8.1
|
2023-11-11 06:18:13 +01:00 |
|
|
|
67d977ce39
|
Update metadata submodule
|
2023-11-10 21:42:31 +08:00 |
|
|
|
8b6b3d2fbe
|
Update bootstrap script ghver
|
2023-11-10 21:41:19 +08:00 |
|
|
|
a5d228ba89
|
Bump to 0.1.20.0
|
2023-11-10 19:53:04 +08:00 |
|
|
|
a7be1e7068
|
Merge branch 'brick-windows'
|
2023-11-10 19:32:20 +08:00 |
|
|
|
30a10d871a
|
Update bootstrap script
|
2023-11-09 23:42:31 +08:00 |
|
|
|
90b0281c1c
|
Merge remote-tracking branch 'origin/pr/918'
|
2023-11-09 23:30:05 +08:00 |
|
Tom Smeding
|
bba92baeb1
|
Fix typo in ToolShadowed error for stack
|
2023-11-09 13:41:21 +01:00 |
|
|
|
e06a1c03d4
|
Merge remote-tracking branch 'origin/pr/911'
|
2023-11-09 18:00:06 +08:00 |
|
|
|
0171f2e870
|
Merge branch 'issue-914'
|
2023-11-09 17:53:42 +08:00 |
|
|
|
da078c7362
|
Use prompt for desktop shortcuts, fixes #914
|
2023-11-09 17:24:41 +08:00 |
|
|
|
94b4b7c455
|
Merge branch 'issue-913'
|
2023-11-06 22:12:46 +08:00 |
|
|
|
6aa486594a
|
Redo ghc-install.sh, fixes #913
|
2023-11-06 18:23:02 +08:00 |
|
|
|
2c3148abcc
|
Update supported tools table, fixes #915
|
2023-11-06 18:20:36 +08:00 |
|
|
|
dde32fa72e
|
Ensure patched version of vty-windows is used
|
2023-11-06 17:35:20 +08:00 |
|
|
|
675ab17fff
|
Improve signs on windows (no unicode)
|
2023-11-05 22:29:55 +08:00 |
|
