Bagaimana saya bisa mengubah judul jendela Terminal secara sewenang-wenang di Mac OS X? Saya telah melihat pertanyaan ini dan hal yang ajaib ini , tetapi saya pikir itu hanya perintah Mac OS X sederhana.
Bagaimana saya bisa mengubah judul jendela Terminal secara sewenang-wenang di Mac OS X? Saya telah melihat pertanyaan ini dan hal yang ajaib ini , tetapi saya pikir itu hanya perintah Mac OS X sederhana.
Jawaban:
Artikel ini memberi tahu Anda caranya.
Pada dasarnya, Anda menggunakan urutan karakter yang digema ke layar untuk memberi tahu terminal tentang judul apa yang harus ditampilkan.
title='My first title'
echo -n -e "\033]0;$title\007"
Dalam contoh di atas, apa pun judul variabel diatur ke saat menjadi judul terminal. Tentu saja, Anda bisa memiliki judul dalam string untuk digaungkan seperti:
echo -n -e "\033]0;My first title\007"
Tetapi cara pertama membuatnya sedikit lebih mudah untuk digunakan dan / atau diperpanjang kemudian.
echo -n -e "\033]0;$1\007"
) Dalam jawaban Anda sehingga saya dapat menandai jawaban terbaiknya?
printf "\033]0;%s\007" "$title_variable"
(berbagai opsi dan perilaku gema tidak sama di semua sistem, cangkang, atau bahkan opsi cangkang) Juga, penugasan variabel dalam bash tidak boleh memiliki ruang di sekitar tanda sama dengan.
Menambahkan hal berikut ke Anda ~/.profile
akan mencapai efek yang sama:
# function for setting terminal titles in OSX
function title {
printf "\033]0;%s\007" "$1"
}
Dan kemudian quick title 'et voila'
akan memilah semua tab Anda.
alias title="printf '\033]0;%s\007'"
.
export alias title="printf '\033]0;%s\007'"
sudo nano /etc/bashrc
. Ini harus dijalankan untuk semua pengguna. Mulai ulang sesi terminal atau lakukan source /etc/bashrc
untuk menerapkan perubahan Anda.
Remix dari jawaban Dan MgG:
echo -n -e "\033]0;$1\007"
Simpan dalam file bernama / usr / bin / title (menggunakan sudo!) Dan chmod ke + x. Lalu dari mana saja Anda bisa mengetik
title 'Trying to Figure This GIT Thing Out'
dan Anda mendapatkan gelar kecil yang menyenangkan.
(Sintaks dapat bervariasi jika Anda tidak menggunakan OSX, jika saya mengerti dengan benar)
/usr/local/bin/title
.
Sebagai alternatif dari solusi baris perintah berbasis sh, aplikasi OS X Terminal memiliki preferensi untuk mengubah judul sebagai berikut: Di bawah menu Terminal-> shell ada pilihan "edit judul", pilih itu dan Anda dapat mengubah judul dengan mudah.
Terima kasih untuk ini. Saya baru saja menambahkan fungsi ke .bashrc saya:
function stit() {
echo -n -e "\033]0;$1\007"
}
Dalam pikiran saya "stit" = jalan pintas yang mudah untuk "set_title". Dan sekarang ketika saya ingin mengatur judul windows saya dengan cepat, saya mengetik:
stit "[new window title]"
Balasan yang ditandai sebagai Jawaban terbaik berfungsi dengan baik ... inilah yang saya lakukan ...
tell application "Terminal"
activate
do script "echo -n -e \"\\033]0;WorkerTab1\\007\"; cd $HOME/folder1"
end tell
ini akan mengatur nama tab baru ke WorkerTab1 dan kemudian melakukan perintah lain seperti "cd", dll.