chore: merge installer tables from code

# Conflicts:
#	install.ps1
#	install.sh
#	install/launchers/index.json
#	scripts/measurement_records.py
#	tests/test_install_tui.py
#	wiki/installer.md
This commit is contained in:
Abdessamad Derraz committed 2026-10-27 09:48:44 +01:00
commit 9cf0f9177d
13 files changed
+1013 -199

No files matched your search

+3
View File
@@ -796,6 +796,9 @@ python scripts/sync_measurements.py # write the site's measure
python scripts/sync_measurements.py --clone DIR --pin FILE # another clone or pin file
```
`--clone` and `--pin` name another clone and pin file than
`.cache/measurements/` and `measurements-pin.json`.
`--fetch` is the only step on the network. It refuses a remote whose history
changed or removed a line the pin holds, or rewrote a data file: a correction
is a new line naming the record it `supersedes`. Every line must hash to its