Commit Graph

28 Commits

Author SHA1 Message Date
5562be18e3
More docs improvements 2022-07-30 17:18:42 +08:00
b0fecce0d1
Merge remote-tracking branch 'origin/merge-requests/273' 2022-07-24 20:24:00 +08:00
Mike Pilgrem
27c06ddde7 Fix #293 Document expressly how installation scripts can be customised
The proposed addition does not go into the mechanism (the names of the specific environment variables or the PowerShell parameters) but is more express about in what manner the behaviour of the installation scripts can be changed.

Introduces that important flexibility as the first topic under 'More on installation'.

Explains that the PowerShell script finally (by default) runs the script for Unix-like operating systems (so a Windows user understands better that the environment variables in the former are applicable to both, and what is meant by the 'final' bootstrap script in the content of the Windows parameters).

Refers to what has gone before, under 'Continuous integration', rather than repeat the added content.
2022-07-23 21:32:15 +01:00
Mike Pilgrem
511d8d5ed8 Update guide.md to explain what is meant by 'TUI'. 2022-07-23 14:25:49 +00:00
2f299ee48d
Merge branch 'hls-hackage' 2022-07-12 00:06:40 +02:00
b8aeb1f935
Fix guide 2022-07-11 00:43:18 +02:00
9673d28d3e
Docs 2022-07-11 00:40:39 +02:00
99a51d67a1
Make compiling from hackage the default 2022-07-10 21:58:03 +02:00
256e1942f2
More stuff 2022-07-10 21:19:45 +02:00
04d527c98a
Add DisableCurl powershell switch 2022-07-10 20:58:30 +02:00
e1d86c77d0
Merge branch 'issue-364' 2022-05-22 23:39:41 +02:00
df89ddcdf5
Use internal tmpdir 2022-05-20 23:19:33 +02:00
9ccf29903e
Add Ben's GPG key 2022-05-16 21:40:02 +02:00
3ffa38cf98
Update guide 2022-05-11 23:39:37 +02:00
b036c9861f
Re-enable upgrade functionality for all configurations
Adds a --fail-if-shadowed switch.
2022-05-04 14:15:17 +02:00
6c12dc0d6f
Overhaul user guide 2022-04-07 20:55:45 +02:00
1680c5c448
Improvements 2022-04-02 23:31:35 +02:00
8afabf3ffb
Update guide wrt with_hls wrapper 2022-02-26 20:17:02 +01:00
6c57661797
Update docs wrt CI 2022-01-30 18:24:42 +01:00
66961101c6
Add documentation about mirrors, fixes #300 2022-01-19 13:04:00 +01:00
7fab328acc
Document versions and tags better 2022-01-06 15:54:27 +08:00
190b5dedba
Allow to control the metadata cache, fixes #278 2021-10-30 14:16:45 +02:00
87e5d526cb
Move GPG verification to the bottom 2021-10-13 15:07:45 +02:00
c0c6cd4fb3
Fix some https links 2021-10-12 11:34:48 +02:00
e2f36611a1
Tweak appearance 2021-10-04 21:40:48 +02:00
a62365141e
Fix nested lists, which need 4 spaces of indent 2021-10-03 00:48:22 +02:00
399d89dae5
Fix doc links 2021-10-02 22:37:17 +02:00
e0dafa2093
Add readthedocs via mkdocs 2021-10-02 21:19:37 +02:00