diff options
Diffstat (limited to 'docs/config.md')
| -rw-r--r-- | docs/config.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/config.md b/docs/config.md index 35f0b6e7..1967a158 100644 --- a/docs/config.md +++ b/docs/config.md @@ -38,7 +38,9 @@ Save writes it, making its directory first. `DumpConfig` opens a it and its value (`Shell /bin/bash`, `PanelSlide off`, `LocationsConfig …`) and `unsupported` 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). The +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 +init file, a ctl, an exec), so the report can be written back as is. The root `ctl` file reads the settings back in the words a write takes ([fs.md](fs.md#the-root-ctl)). |