nama terminal / tab

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

macos mac terminal.app

— locojay
sumber

superuser.com/q/343747/504387

— Wildcard

Jawaban:

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

— Wuffers
sumber

Atau tekan Cmd-I untuk mendapatkan inspektur.

— Daniel Beck

Shift-Command-I (Shell & gt; Edit Judul) juga memperlihatkan Inspektur dan akan memastikannya memilih panel Info.

— Chris Page

Pada Mac OS X Lion 10.7, Terminal's Inspector juga mendukung pengaturan judul tab secara terpisah dari judul jendela.

— Chris Page

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

Atau, bahkan lebih pendek, bisa Anda gunakan echo -ne dari pada echo -n -e.

— Wuffers

Sepertinya saya bahwa lelucon rusia soviet tidak diterima dengan baik di sini ...

— bubu

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

Saya sarankan menggunakan printf daripada echo, karena lebih sederhana dan lebih portabel (opsi "-n" tidak didefinisikan dalam POSIX): printf '\e]0;...\a'

— Chris Page

Jika Anda tertarik dengan cara kerjanya, ini menggunakan Urutan melarikan diri XTerm (juga dikenal sebagai urutan kontrol). Daftar lengkap urutan tersedia sini .

— TachyonVortex

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