Pigeon wrote:
> Karsten M. Self wrote:
> >     echo "set ignoreeof" >> ~/.bashrc

Oops!  This would probably be what was intended.

  set -o ignoreeof

I am beginning to prefer the newer 'shopt' syntax.

  shopt -s -o ignoreeof

> Cool! (tries it) Oh, it doesn't work (messes about) Ah,
> s/set ignoreeof/export IGNOREEOF=/

More clear to say explicitly a number there.  If not set to a value
the default value is 10 eofs to ignore before really logging out.
(Must be a some value or 'bash < /dev/null' would be an infinite loop.
Been there, done that, want to avoid doing it again.)

Bob

Attachment: pgp00000.pgp
Description: PGP signature

Reply via email to