4 Aug
2014
4 Aug
'14
9:11 a.m.
On Aug 3, 2014, at 7:54 PM, Norman Wilson <norman(a)oclsc.org> wrote:
And, for that matter, @ for kill (though in the modern
world
one has to type @ often enough to require learning a different
modern-world mystery chord, ^V).
I break with the past for character-erase, though: backspace,
not #.
Do you still consider '^' the shell's inter-command pipe character?