désactiver la fermeture de la fenêtre CTRL-D dans le terminateur (émulateur de terminal)

46

Je suis souvent connecté via plusieurs sessions SSH. Pour vous déconnecter de mes sessions, j'appuie sur CTRL+ djusqu'à ce que je sois de nouveau sur mon ordinateur local.

Cependant, parfois, j'appuie une fois de trop et mon terminal se ferme.

Est-il possible d'empêcher CTRL+ dde fermer mon terminal?

J'utilise Terminator comme émulateur de terminal

bash shell command-line terminal Martin Vegter
la source
Doublon de unix.stackexchange.com/questions/27588/…
Aaron Digulla
3
Duplication possible de Comment puis-je empêcher control + d de déconnecter ma session?
JdeBP le
Voir cette question pour Zsh.
rgov

Réponses:

50

Vous pouvez également désactiver eof généralement en bash:

set -o ignoreeof

fanch
la source
2
Mais si vous faites cela sans discernement, cela s'appliquera également si vous êtes connecté via ssh.
Gilles 'SO- arrête d'être méchant'
3
J'utilise le terminateur 0.97. Lorsque je configure -o ignoreeof, il bloque ctrl-d (ne pas quitter) 10 fois avec un message: Utilisez "exit" pour quitter le shell. Le 11ème ctrl-d, il se ferme.
AAAfarmclub
OMG, merci !! Cela (un accident de terminal) était un énorme désagrément pour moi. Ajouté à ~ / .bashrc; travaille en konsole | xfce4-terminal | ... :-D
Victoria Stuart le
@ Gilles Bonne entrée, avez-vous une solution pour cela?
Gauthier le
34

Vous pouvez utiliser la IGNOREEOFvariable d'environnement dans bash. Donc, export IGNOREEOF=42et vous devrez appuyer Ctrl+Dquarante-deux fois avant qu’il quitte votre shell.

POSIX seta aussi un -o ignoreeofparamètre.

Ryekayo
la source
4
Quarante-trois fois: les quarante-deux premiers sont ignorés et le dernier quitte. :-)
deltab
Je pensais que quarante-trois fois seraient trop redondants. Certainement le set -o ignoreeofserait plus pratique
ryekayo
3
Mais si vous faites cela sans discernement, cela s'appliquera également si vous êtes connecté via ssh.
Gilles 'SO- arrête d'être méchant'
Mais vous devez écrire la commande à chaque fois que vous ouvrez un terminal. Comment le désactivez-vous de manière permanente?
MycrofD
2
@MycrofD Ajoutez ceci à votre .bashrcou .profile.
Jan Warchoł