1 files changed, 8 insertions, 1 deletions
diff --git a/docs/config.md b/docs/config.md
index 29671e4e..96281cd5 100644
--- a/docs/config.md
+++ b/docs/config.md
@@ -46,7 +46,14 @@ the browser still applies the compiled percentage to its DOM glyphs.
 The startup path is printed whether or not a file exists — that is usually when
 it is most useful — and is ordinary selectable text, so a right click on it
 opens the file. Shell follows the same requested/effective/pending model as
-Font. `Compiled default shell` is the command built into the binary; `Shell
+Font. `Default shell` is the one used while no `Shell` is set: `$SHELL`, the
+user's login shell, else `/bin/sh` (also when `$SHELL` names nothing
+executable); an explicit `Shell` overrides it. `Shell <name or path>` is
+refused unless it names an executable file (`Shell: no shell "x" (...)`, or
+`Shell: not a shell: /etc is a directory`; a bare name is looked for in the
+usual bin directories), as `Tty <shell>` is, and a
+bare `Shell` goes back to the default. The root ctl reads `Shell <the one the
+next terminal runs>`. `Shell
 effective (last spawn)` is the executable the native host really chose after
 installation lookup and fallback. A changed request remains pending until a
 terminal is spawned, because the core does not resolve native executables.