diff options
| author | Gabriel Schneider <[email protected]> | 2026-09-28 23:48:17 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 00:12:15 -0300 |
| commit | a6c4ab97de9f9624d4d4d37a4f63cae342e314fb (patch) | |
| tree | 0dc35fd6821344602556ef94cfdaf174ba9911e5 /docs/config.md | |
| parent | c284475c8681ad57c32497c7948e0b020281f4ed (diff) | |
| download | pardes-a6c4ab97de9f9624d4d4d37a4f63cae342e314fb.tar.gz pardes-a6c4ab97de9f9624d4d4d37a4f63cae342e314fb.zip | |
A dump keeps the settings changed from a fresh session's, and Restore sets them
A session running with Placement pardes came back from Restore as acme: a
dump kept the layout and the theme but no setting. It now keeps every
setting line that differs from a fresh session's, as the root ctl reads it,
and a Restore applies them; the theme stays where it was kept, the font the frontend's,
and REPL bindings are still dropped. The dump golden gains the three the
snapshot harness sets.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'docs/config.md')
| -rw-r--r-- | docs/config.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/config.md b/docs/config.md index 434a1778..43b289cb 100644 --- a/docs/config.md +++ b/docs/config.md @@ -637,6 +637,11 @@ uses the argument as a path as before. Absolute paths and argument-free Restore retain their existing behavior. `Dump` still honors `$PARDES_DUMP` and otherwise writes a timestamped file in the default directory. +A dump keeps the settings that differ from a fresh session's (`Placement +pardes`, `Verbose off`, a shader), as the root ctl reads them, and a Restore +sets them again; the theme is kept with the layout, and the font stays the +frontend's. REPL bindings are not kept. + A restored terminal comes back live: its recorded output (the last MiB of it) is replayed as history, a dim `── restored history ──` line marks where it ends, and a new shell starts below it in the directory the old one was in, |