Neither Ctrl+Backspace not Delete works as an alternative for me without that 
stty setting.

On Wednesday 21 February 2001 12:02, you wrote:
> On Wed, 21 Feb 2001, Nikita Proskourine wrote:
> > Thanks Dave. The problem was entirely with my stty. Both gets and
> > readline now work as expected. I got them working with "stty erase ^H"...
> > The erase character was ^? and I never noticed that. Apparently bash
> > doesn't use stty's erase setting for deleting characters... deleting
> > things in command line works fine with either ^?or ^H as erase chars.
>
> On most terminal emulators configured a la mode de 1975, you may press
> Ctrl+Backspace to give that ^? character. (Also the Delete key sometimes
> does it, and sometimes not). That's for situations when you don't feel
> like running stty (or can't).
>
> matju

-- 
Nikita Proskourine / Cornell University
"Gravitation cannot be held responsible for people falling in love."
-- Albert Einstein