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!


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.


Apa yang harus echo -nedikembalikan? Saya tidak mendapatkan hasil
Paul01

Dan saya tidak ingin mengubah prompt .. Saya ingin mengubah judul tab terminal
Paul01
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.