Proteger la fermeture du terminal lors d’un ctrl+d

Je ne sais pas pour vous, mais moi j’aime les terminaux, mon bureau est souvent parsemé de petits rectangles noirs avec de jolis prompts en couleur, l’un sur un serveur, l’autre sur un autre pc etc… De temps en temps il m’arrive lorsque mes doigts dancent sur le clavier de faire un CTRL+D au lieu d’un CTRL+C, c’est facheux car le terminal est sans pitié CTRL+D = EXIT Oups perdu le terminal ! Heureusement on peut changer ce comportement, on ajoute simplement ignoreeof=1 dans notre ~/.bashrc

echo "ignoreeof=1" >> ~/.bashrc

Et lorsque l’on presse CTRL+D on se voit gratifié d’un message :

( sous debian ) Use ‘logout’ to leave the shell.

( sous ubuntu ) Utilisez « exit » pour quitter le shell.

Il nous faudra donc faire deux fois CTRL+D pour vraiment quitter le terminal ou taper exit ou encore logout