Saya mengerti Anda menggunakan tcsh jadi ini mungkin tidak akan berhasil ... Kalau-kalau ada yang mencari cara bash untuk melakukan ini.
Jika sistem Anda (lokal / jarak jauh) sedang menjalankan bash maka Anda dapat menggunakan variabel lingkungan "PROMPT_COMMAND" untuk mengatur judul jendela. PROMPT_COMMAND dievaluasi sebelum permintaan ditampilkan.
(di .bashrc Anda):
export PROMPT_COMMAND='history -a && echo -ne "\033]0;${USER}@${HOSTNAME%%.*}:${PWD/$HOME/~}\007'
Penjelasan:
'history -a'
Ini mengatur shell untuk menambahkan ke file history setiap kali perintah selesai, bukan ketika seluruh shell selesai. (Ini tidak terkait dengan contoh ini).
'echo -ne "\033]0;${USER}@${HOSTNAME%%.*}:${PWD/$HOME/~}\007"'
Ini menggemakan kode pelarian "\ 033] 0;" yang menetapkan judul jendela dengan variabel "user" @ "host" (menghapus kecocokan terlama dari kanan ke pertama ".") dan kemudian direktori kerja (mengganti '~' untuk '$ HOME').
Trik di atas akan bekerja dengan aplikasi terminal apa pun yang mendukung perubahan dinamis judul jendela (seperti iTerm, Terminal.app, urxvt, aterm, eTerm. Xterm, dll.) Anda juga dapat melihat variabel shell "TITLEBAR" dalam dokumentasi bash, ini mirip.