Linux Mint Debian - Ubah judul terminal menjadi servername

0

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!

linux debian terminal linux-mint Paul01
sumber
Bisakah Anda mengklarifikasi apa yang Anda maksud dengan judul terminal?
fixer1234
Dan apa itu "terminal standar"?
Kamil Maciorowski
Saya menggunakan Terminal GNOME. Dengan judul terminal maksud saya teks yang ditampilkan ketika saya membuka tab baru strg + shift + t
Paul01

Jawaban:

1

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.

djsmiley2k
sumber
Apa yang harus echo -nedikembalikan? Saya tidak mendapatkan hasil
Paul01
Dan saya tidak ingin mengubah prompt .. Saya ingin mengubah judul tab terminal
Paul01