diff options
| author | Gabriel Schneider <[email protected]> | 2026-09-28 14:36:46 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 00:12:15 -0300 |
| commit | 0f18cc317190c2aaaf0efec4cd6da656cb1f3402 (patch) | |
| tree | fb2abbddacae3be30ea5ddcbeeca03e40cccf26c /docs/ideas.typ | |
| parent | 010b123a88aa5278c499f83098c00bdbdb0093ce (diff) | |
| download | pardes-0f18cc317190c2aaaf0efec4cd6da656cb1f3402.tar.gz pardes-0f18cc317190c2aaaf0efec4cd6da656cb1f3402.zip | |
A spawn names the pane it was made for, so a pane closed and its slot retaken spawns nothing
The spawn effect carried only a slot, and the host read the command and shell
off whatever pane held the slot as it forked: a command pane closed and its
slot taken by the next one before the effects ran forked the new pane's
command twice. The effect now carries the pane's serial and is dropped when
the slot holds another; forkShell checks it again after giving up the turn
for its directory's stat, the one moment a 9P client can change the panes
under it. Every front end performs spawns with the turn, from its step.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'docs/ideas.typ')
0 files changed, 0 insertions, 0 deletions