diff options
| author | Gabriel Schneider <[email protected]> | 2026-09-30 19:57:44 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 00:12:17 -0300 |
| commit | b6200709aa5e42f7a3d3702489301c71da8cd65d (patch) | |
| tree | 0042cad5c71f4cac613028fa20757c4dd1a5e3a7 /docs/config.md | |
| parent | 63983ab4b235fb2b6617e8d055e644e0e986d8fd (diff) | |
| download | pardes-b6200709aa5e42f7a3d3702489301c71da8cd65d.tar.gz pardes-b6200709aa5e42f7a3d3702489301c71da8cd65d.zip | |
DumpConfig writes a setting this shell cannot show as a "# Word unsupported" comment, GripWidth among them on the tty, so the whole report writes back to /ctl
The report said it could be written back as is, but "Lift unsupported"
and the tty's "GripWidth 100" were each refused by the root ctl, and
"DumpDir (none)" would have named a directory "(none)". Those lines are
now comments, and a test writes every line of the report back.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'docs/config.md')
| -rw-r--r-- | docs/config.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/config.md b/docs/config.md index 1967a158..23355b06 100644 --- a/docs/config.md +++ b/docs/config.md @@ -36,7 +36,7 @@ it is open. With no file there yet, the pane is named for it, empty, and Save writes it, making its directory first. `DumpConfig` opens a `+DumpConfig` pane with every live setting, each line the word that sets it and its value (`Shell /bin/bash`, `PanelSlide off`, `LocationsConfig …`) -and `unsupported` for one the frontend cannot show. After a blank line +and a `# Lift unsupported` comment for one the frontend cannot show. After a blank line come what is in effect but set by no word, such as the last shell spawned and the font in use, and the startup path (a right click opens it), each a `#` line. A line starting with `#` is a comment wherever a line runs (the |