Terminal - bagaimana cara memulai kembali sesi setelah keluar secara tidak sengaja?

Kadang-kadang saya secara tidak sengaja keluar dari sesi Terminal (biasanya karena saya pikir saya terhubung ke sistem jarak jauh, ketika saya tidak), jadi saya sampai ke titik ini:

Bagaimana saya bisa memulai kembali sesi pada saat ini? Saya tidak ingin menutup jendela atau tab karena saya memiliki banyak tab yang disiapkan untuk alur kerja normal saya, jadi saya hanya ingin sesi di tab saat ini berjalan lagi (yaitu kembali ke bash prompt).

Satu-satunya solusi yang saya temukan sejauh ini adalah keluar dari Terminal sepenuhnya dan membukanya lagi, tetapi itu jauh dari ideal karena jelas mengganggu apa pun yang saya lakukan di jendela / tab Terminal lainnya.

Pada titik ini, tidak ada cara untuk mendapatkan kembali tab. Sesi terminal ditutup, dan tidak lagi memiliki TTY. Tidak ada cara untuk referensi tab untuk melakukan sesuatu yang pintar. Saya sarankan menambahkan fungsi ini ke .bashrc atau .profile Anda sehingga Anda tidak akan memiliki masalah di masa depan:

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
}

atau, bagi kita yang menggunakan Z Shell (tambahkan ke .zshrc Anda):

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

Ini adalah penghalang kecil yang bagus antara Anda dan perintah keluar yang menjengkelkan! Tuhan tahu saya telah melakukan hal yang sama berkali-kali di masa lalu.

Skrip William T Froggard tidak melakukan apa yang saya butuhkan, karena umumnya satu-satunya cara saya masuk ke situasi ini adalah melalui ^ D ( ctrl+ D), dan mendefinisikan ulang exittidak melakukan apa pun untuk situasi itu. Bagi saya, saran pengaturan Dennis Williamson IGNOREEOFsudah cukup. Saya baru saja menambahkan:

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

ke ~/.bashrcfile saya dan sekarang (jika saya di shell tingkat atas dan akan keluar dari terminal) ^ D pertama menghasilkan respons:

Use "logout" to leave the shell.

Jika saya mengetik ^ D lagi dengan segera, shell keluar, jadi keluar ketika saya inginkan masih mudah, tapi sekarang satu ^ D akan memberi saya peringatan. (Jika mau, Anda dapat mengatur IGNOREEOFke nomor yang lebih tinggi untuk meminta ^ ^ berturut-turut tambahan.)

Juga membantu, jika saya berada di sub-shell, ^ D pertama menghasilkan respons:

Use "exit" to leave the shell.

Sekali lagi, ^ D tambahan akan mengeluarkan saya, dan sekarang saya dapat membedakan antara keluar dari sub-shell dan keluar dari shell tingkat atas.