bashrc: no ignoreeof