a111: Logged on 2019-03-09 01:21 mircea_popescu: which is JUST AS BROKEN BY DESIGN. ctrl-d will end a
file AND
kill a terminal, but not touch a task. ctrl-c will
kill n levels of task depth, as in her example, FOUR.
mircea_popescu: which is JUST AS BROKEN BY DESIGN. ctrl-d will end a
file AND
kill a terminal, but not touch a task. ctrl-c will
kill n levels of task depth, as in her example, FOUR.
☟︎