Saya menggunakan terminal standar dan saya ingin mengubah judul terminal setelah terhubung melalui ssh ke server lain. Apakah ada cara yang memungkinkan?
Terima kasih ya!
Saya menggunakan terminal standar dan saya ingin mengubah judul terminal setelah terhubung melalui ssh ke server lain. Apakah ada cara yang memungkinkan?
Terima kasih ya!
Jawaban:
Ya, bagaimanapun itu bisa rumit tergantung pada terminal emulator yang Anda gunakan (dan jika mengikuti standar) bersama dengan shell mana yang Anda gunakan.
Anda bisa mengaturnya langsung dari prompt yang diset, dalam bash:
PROMPT_COMMAND='echo -ne "\033]0;SOME TITLE HERE\007"'
di bash.rc Anda akan melakukan pekerjaan itu.
Anda dapat memiliki variabel dalam hal ini, sehingga akan diperbarui setiap kali prompt dikembalikan.
Atau Anda dapat menjalankan skrip secara manual, hanya menggunakan perintah gema echo -ne "\033]0;Server123\007"
yang akan menetapkan judul statis untuk terminal hingga Anda menimpanya lagi.
echo -ne
dikembalikan? Saya tidak mendapatkan hasil