diff options
| author | Gabriel Schneider <[email protected]> | 2026-10-01 10:31:23 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 10:36:28 -0300 |
| commit | 4db57bf5bd788a292fcf2cfbea3b6d8b281510f0 (patch) | |
| tree | cf0905c14c180e17c33e1e1289dfbc70b71ad84e /src/host_io.zig | |
| parent | d3f60c930db06b540bb196b6323a88045e746bbf (diff) | |
| download | pardes-4db57bf5bd788a292fcf2cfbea3b6d8b281510f0.tar.gz pardes-4db57bf5bd788a292fcf2cfbea3b6d8b281510f0.zip | |
Saving the init file in a pane (Config) applies its settings at once; its commands are not run a second time
A setting changed in the init file took effect only at the next start.
The host's Save now hands a written init file's text back to the core,
which applies its setting lines again (each idempotent), with the same
notice and err for one that fails; a command line in it (`Newcol`)
belongs to the start and is left alone.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'src/host_io.zig')
| -rw-r--r-- | src/host_io.zig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/host_io.zig b/src/host_io.zig index a488f0f8..8ff55d74 100644 --- a/src/host_io.zig +++ b/src/host_io.zig @@ -2818,6 +2818,8 @@ pub fn writeFile(core: *pardes.Pardes, watches: *file_watch.Table, pane: u8, pat }; var mbuf: [256]u8 = undefined; core.setMessage(pane, pardes.Messages.Message.stamp(&mbuf, "saved", path)); + // The init file, saved here (Config): its settings take effect now. + pardes.exec.reapplyInitFile(core, path, bytes); } /// A Dump's write, into the DumpDir. |