Minor addition to .bashrc to ignore Ctrl+D