GeneralTips

Prevent Ctrl-D from Exiting

There is a right way to do this:

set -o ignoreeof

Also one can set

IGNOREEOF=10

Note that set -o ignoreeof is the same as IGNOREEOF=10. One could easily set it to a higher number.