nama terminal / tab

13

Apakah ada cara untuk memberi nama jendela terminal atau bahkan lebih baik memberi nama masing-masing tab. saat ini mereka hanya mendapatkan nama proses yang mendasarinya: misalnya sebuah tab yang menjalankan elasticsearch mendapatkan nama java

locojay
sumber

Jawaban:

11

Anda dapat menggunakan solusi @bubu, atau Anda dapat mengeklik kanan pada tab, pilih "Periksa Tab", dan atur judul dari sana.

Wuffers
sumber
5
Atau tekan Cmd-I untuk mendapatkan inspektur.
Daniel Beck
2
Shift-Command-I (Shell & gt; Edit Judul) juga memperlihatkan Inspektur dan akan memastikannya memilih panel Info.
Chris Page
1
Pada Mac OS X Lion 10.7, Terminal's Inspector juga mendukung pengaturan judul tab secara terpisah dari judul jendela.
Chris Page
14

Baik.

echo -n -e "\033]0;In soviet russia, the title bar sets you\007"

akan menetapkan judul Anda ke "Di rusia soviet, bilah judul membuat Anda"

bubu
sumber
3
Atau, bahkan lebih pendek, bisa Anda gunakan echo -ne dari pada echo -n -e.
Wuffers
1
Sepertinya saya bahwa lelucon rusia soviet tidak diterima dengan baik di sini ...
bubu
5
Perhatikan bahwa "0" mengatur jendela dan judul tab. Pada Mac OS X Lion 10.7, Anda dapat mengaturnya secara independen, menggunakan "1" (judul tab) dan "2" (judul jendela).
Chris Page
3
Saya sarankan menggunakan printf daripada echo, karena lebih sederhana dan lebih portabel (opsi "-n" tidak didefinisikan dalam POSIX): printf '\e]0;...\a'
Chris Page
2
Jika Anda tertarik dengan cara kerjanya, ini menggunakan Urutan melarikan diri XTerm (juga dikenal sebagai urutan kontrol). Daftar lengkap urutan tersedia sini .
TachyonVortex
2

Jika Anda sering melakukan ini, Anda dapat membuat fungsi @ bubu menjawab dalam bash_profile, seperti:

tab() {
    echo -ne "\033]0;$*\007"   
}

Dan kemudian panggil saja diikuti dengan nama tab, mis. tab Tab Title with Spaces!

Stuart Douglas
sumber