One way or another, that's true of any terminal. The shell sees *characters*, no...

		kps on March 7, 2013 \| parent \| context \| favorite \| on: Unix tricks One way or another, that's true of any terminal. The shell sees characters, not keystrokes.