diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/config.md | 4 | ||||
| -rw-r--r-- | docs/fs.md | 2 |
2 files changed, 5 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)). @@ -219,6 +219,8 @@ A line written to `exec` is a middle click: A builtin that needs its argument (`Msg`, `Mount`, `Find`) written bare is `wrong #args in control message "Msg"`, and so is one that takes none written with one (`Config extra`). +- a line starting with `#` is a comment, as in a shell: it runs as + nothing, silently, here and in every ctl. - the language server's words ask about a file pane's text at its cursor (set it with `addr` and `dot=addr` first): `Hover` fills `+Hover`, `Rename new` renames the symbol everywhere and lists the places, |