2
The bashrc
was not written by me, and sources a lot of different configuration files. Upon sourcing it, I can't exit bash with Ctrl+D anymore.
I found this related question about zsh, and I would like to know the mechanism used to do the same with bash.
When typing Ctrl+D in a login shell, I get:
Use "logout" to leave the shell.
When in a non-login shell,
Use "exit" to leave the shell.
As these messages are translated depending on the locale in use, this is probably not a system script. I would like to control both independently, if possible (disable this functionality for non-login shells, for instance). Is that possible?
Should this question be moved to Unix & Linux instead? I am not extremely familiar with SU's rules. – MayeulC – 2018-04-19T12:57:56.377