On 2018-10-31, Stuart Henderson <s...@spacehopper.org> wrote: > No idea how ^4 is mapped to ^\, but for some reason it is,
This goes back to the VT220, if not older terminals. Ctrl-3 for ESC aka ^[ is particularly handy if the Esc key is in some inconvenient place as on most PC keyboards. See "Table 3-5 Keys Used to Generate 7-Bit Control Characters" in the VT220 Programmer Reference Manual: https://vt100.net/docs/vt220-rm/table3-5.html -- Christian "naddy" Weisgerber na...@mips.inka.de
