Mike Fährmann
|
60cb4468b2
|
[options] update --help Usage formatting
|
2025-06-20 23:43:22 +02:00 |
|
Mike Fährmann
|
1f429da650
|
[scripts/options] make output width independent of terminal size
|
2025-06-17 18:52:46 +02:00 |
|
Mike Fährmann
|
9c65db2a92
|
consistent 'with open(…) as fp:' syntax
|
2024-06-14 01:22:00 +02:00 |
|
Mike Fährmann
|
cbaf041cea
|
[docs:options] add --update arguments
|
2024-06-02 18:16:25 +02:00 |
|
Mike Fährmann
|
e60ec1699a
|
only rewrite utility files if contents changed
|
2023-01-27 18:04:13 +01:00 |
|
Mike Fährmann
|
3c03928d75
|
simplify 'docs/options.md' generation
use the plain text output from '--help'
instead of trying to generate 'fancy' HTML with Markdown restrictions
|
2023-01-06 11:21:47 +01:00 |
|
Mike Fährmann
|
f1a715dbcd
|
improve docs/options.md
- use non-breaking hyphens
- don't replace '…' in examples
- don't force width for long option column
|
2023-01-04 14:41:05 +01:00 |
|
Mike Fährmann
|
50d89d4acb
|
docs/options.md: use a separate table for each option group
|
2023-01-03 16:04:48 +01:00 |
|
Mike Fährmann
|
7de6b7f489
|
add list of command-line options as docs/options.md (#3464)
|
2023-01-02 19:14:16 +01:00 |
|