Terminal - comment redémarrer la session après avoir quitté par inadvertance?

Parfois, je quitte par inadvertance une session Terminal (généralement parce que je pense que je suis connecté à un système distant, alors que je ne le suis pas), alors j'arrive à ce point:

Comment puis-je redémarrer la session à ce stade? Je ne veux pas fermer la fenêtre ou l'onglet car j'ai un tas d'onglets tous configurés pour mon flux de travail normal, donc je veux juste que la session dans l'onglet actuel recommence (c'est-à-dire revenir à une invite bash).

La seule solution que j'ai trouvée jusqu'à présent est de quitter complètement Terminal et de l'ouvrir à nouveau, mais c'est loin d'être idéal car cela interrompt évidemment tout ce que je fais dans d'autres fenêtres / onglets de Terminal.

À ce stade, il n'y a aucun moyen de récupérer l'onglet. La session de terminal est fermée et elle n'a plus de téléscripteur. Il n'y a tout simplement aucun moyen de référencer l'onglet afin de faire quelque chose d'intelligent. Je suggère d'ajouter cette fonction à votre .bashrc ou .profile afin que vous n'ayez plus le problème à l'avenir:

exit() {
    read -t5 -n1 -p "Do you really wish to exit? [yN] " should_exit || should_exit=y
    case $should_exit in
        [Yy] ) builtin exit $1 ;;
        * ) printf "\n" ;;
    esac
}

ou, pour ceux d'entre nous qui utilisent le Z Shell (ajoutez-le à votre .zshrc):

exit() {
    if read -t5 -q should_exit\?"Do you really wish to exit? [yN] "; then
        builtin exit $1
    fi
}

C'est une jolie petite barrière entre vous et cette commande de sortie ennuyeuse! Seigneur sait que j'ai fait la même chose plusieurs fois dans le passé.

Le script de William T Froggard n'a pas fait ce dont j'avais besoin, car en général, la seule façon d'entrer dans cette situation est via ^ D ( ctrl+ D), et la redéfinition exitn'a rien fait pour cette situation. Pour moi, la suggestion de Dennis Williamson de fixer IGNOREEOFétait suffisante. Je viens d'ajouter:

# Do not exit on a single ^D, require 2 in a row
IGNOREEOF=1

dans mon ~/.bashrcfichier et maintenant (si je suis dans le shell de niveau supérieur et que je quitte le terminal), le premier ^ D génère la réponse:

Use "logout" to leave the shell.

Si je tape à nouveau ^ D immédiatement, le shell se ferme, donc sortir quand je veux est toujours facile, mais maintenant un seul ^ D me donnera un avertissement. (Si vous le souhaitez, vous pouvez définir IGNOREEOFun nombre plus élevé pour exiger des ^ D consécutifs supplémentaires.)

Aussi utile, si je suis dans un sous-shell, le premier ^ D génère la réponse:

Use "exit" to leave the shell.

Encore une fois, un ^ D supplémentaire me fera sortir, et maintenant je peux faire la différence entre quitter un sous-shell et quitter le shell de niveau supérieur.