Bagaimana cara mengubah judul Gnome-Terminal?

Saya memiliki beberapa contoh terminal yang berjalan di lingkungan kerja saya, yang saya inginkan adalah menetapkan judul yang spesifik untuk masing-masingnya, agar memiliki gagasan yang jelas apa tujuan terminal spesifik itu berfungsi seperti Apache, editing_ini, postgres dll ...

Tentu saja dari baris perintah.

• Cara yang paling ramah pengguna adalah mengambilnya dari menu Terminal -> "Set Title ...".

• Namun ada cara lain, Anda juga bisa mengeluarkan

  gnome-terminal --title="SOME TITLE HERE"
  

  Ini mungkin tidak memberikan efek yang diinginkan karena ada kemungkinan besar Anda .bashrcmenimpa perilaku itu.

• Membawa kami ke metode terakhir, yang tanpa malu-malu kucabut dari metode saya .bashrc.

  PROMPT_COMMAND='echo -ne "\033]0;SOME TITLE HERE\007"'
  

Sebagai referensi tambahan, ini adalah baris khusus di blog saya .bashrc

PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD/$HOME/~}\007"'

Anda juga mungkin perlu mengomentari kode ini di ~ / .bashrc Anda

case "$TERM" in
xterm*|rxvt*)
    # JEFFYEE REMOVED because it makes commands to title() not work
    #PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
    ;;
*)
    ;;
esac

Jawaban Ward sangat bagus jika Anda ingin menetapkan judul berdasarkan host apa yang Anda tuju dll setiap kali Anda membuka terminal. Jika Anda hanya ingin mengatur judul dengan cepat, Anda bisa menjalankan gema dengan sendirinya:

echo -ne "\033]0;SOME TITLE HERE\007"

atau buat fungsi sederhana (di dalam Anda ~/.bashrc), katakanlahtermtitle

termtitle() { printf "\033]0;$*\007"; }

yang bisa Anda jalankan termtitle some title here.

Jika Anda menggunakan editor Vim, Anda juga dapat mengaktifkan opsi ini di vimrc Anda:

:set title

yang dinonaktifkan secara default. Ini akan mengatur judul terminal keren yang menunjukkan nama file yang sedang Anda edit saat ini dan beberapa hal lainnya.

Demi kelengkapan, saya ingin menambahkan bahwa Anda juga dapat mengatur gnome-terminaljudul menggunakan perintah ini:

wmctrl -r :ACTIVE: -N "MyWindowTitle"

Anda harus menginstal paket wmctrl terlebih dahulu.

Argh, begitu banyak jawaban ...

Saya mencoba wmctrl, yang hampir berhasil, kecuali saya tidak dapat mengubah judul ikon, setidaknya tidak secara permanen.

Masalahnya adalah bahwa PS1 di Bash di Ubuntu menentukan judul.

PS1 default adalah

\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$ 

... yang menetapkan judul dalam urutan escape pertama: \e]0;\u@\h: \w\a

Jadi, ada dua solusi:

Solusi 1: sederhanakan PS1, lalu gunakan PROMPT_COMMAND

Ubah PS1 menjadi sesuatu yang lebih sederhana:

PS1="\u@\h:\w\$ "

Kemudian gunakan PROMPT_COMMAND:

PROMPT_COMMAND='echo -ne "\033]0;SOME TITLE HERE\007"'

Solusi 2: langsung memodifikasi PS1

Cukup modifikasi PS1 dengan judul baru:

PS1='\[\e]0;newtitle\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '

Jika Anda adalah pengguna Ubuntu, Anda dapat mengubah judul tab gnome-terminal menggunakan HUD .

Saat berada di terminal gnome, tekan Alt untuk memunculkan HUD, ketikkan beberapa huruf pertama, misalnya "tit", tekan enter dan ketik judul baru Anda.

Ini adalah metode yang sangat cepat dan menghindari menggunakan mouse.

Cara lain untuk mengubah judul gnome-terminaladalah dengan menggunakan gconftool-2; ini mengubah judul terminal awal untuk profil yang dipilih, sehingga Anda dapat memiliki profil berbeda yang terkait dengan judul seperti 'Apache', 'Editing', dll. Anda kemudian akan meluncurkan gnome-terminaldengan profil yang sesuai untuk mendapatkan judul terminal yang telah Anda tentukan. Ini berbeda dengan gnome-terminal --title "name"yang mengubah judul per terminal, tetapi tidak mempengaruhi judul awal yang ditentukan dalam profil.

Anda dapat menggunakan perintah berikut dalam skrip untuk mengatur nama terminal untuk suatu profil, dan Anda dapat meminta nama terminal berubah pada waktu-waktu tertentu dalam sehari untuk mengingatkan Anda tentang beberapa hal:

gconftool-2 --set /apps/gnome-terminal/profiles/Default/title --type=string "Apache"

Ini untuk profil default, tetapi Anda dapat mengatur judul untuk profil lain juga dengan mengubah, misalnya, Defaultke profil lain seperti Profile0:

gconftool-2 --set /apps/gnome-terminal/profiles/Profile0/title --type=string "Editing"

Saya pikir cara mengubah judul ini berguna karena cara itu dapat digunakan dalam skrip, atau hanya sebagai cara baris perintah cepat untuk mengatur judul untuk profil. Perhatikan bahwa kadang-kadang Anda harus meluncurkan ulang terminal dengan profil yang ditentukan agar gconftool-2pengaturan dapat diterapkan. Pengaturan lengkap yang tersedia untuk gnome-terminaldapat didaftar dengan gconftool-2 -R /apps/gnome-terminal.

Solusi lain adalah dengan menggunakan xdotool untuk mensimulasikan penekanan tombol, mungkin berguna dalam skrip:

1. Atur pintasan keyboard di gnome-terminal:

   Edit > Keyboard Shortcuts... > Terminal > Set Title
   

   Misalnya mengasumsikan Shift+Ctrl+Y.

2. Instal xdotooljika Anda belum memilikinya:

   sudo apt-get install xdotool
   

3. Urutan perintah berikut (yang dapat Anda gunakan juga dalam skrip bash) akan mengatur judul terminal / tab (lolos dari spasi dengan \):

   xdotool key ctrl+shift+y 
   xdotool type My\ new\ fabulous\ title
   xdotool key Return
   

4. [opsional] Anda juga dapat menggunakan xdotool untuk mis membuka tab baru dan mengatur judul dengan perintah di atas, menggunakan:

   xdotool key ctrl+shift+t
   

   Pertimbangkan untuk menambahkan waktu tidur sebelum dan sesudah membuka tab baru, mis. sleep 1(Untuk menunggu 1 detik).

Ini bukan solusi yang paling elegan, tetapi berhasil untuk saya! Jawaban sebelumnya tidak berhasil dalam kasus saya. Saya menggunakan terminal gnome di Ubuntu 14.04 dan saya ingin membuat skrip bash.

Untuk hanya menampilkan direktori kerja saat ini dalam judul, coba ini di '.bashrc' Anda:

PROMPT_COMMAND='echo -ne "\033]0; ${PWD##*/}\007"'

atau

PROMPT_COMMAND='echo -ne "\033]0;$(basename ${PWD})\007"' 

Ini bekerja di Terminal Gnome saya 3.18.3 .

Edit file .bashrc Anda dan tambahkan fungsi ini

# Update gnome terminal title
function termtitle() {
    # take argument
    TITLE=$1
    shift
    # update title
    PROMPT_COMMAND='echo -ne "\033]0; $TITLE \007"'
}

Jangan lupa file .bashrcsource Anda

$ source ~/.bashrc

Dan kemudian Anda cukup memperbarui Anda dapat mengubah judul terminal seperti ini:

$ termtitle "MariaDB CLI"

Jawaban saya mirip dengan jawaban yang lebih baru yang tidak berhasil untuk saya. Jawaban terlama tidak berfungsi lagi. Jawaban tengah lama terlalu banyak mengetik jadi saya membuat fungsi di ~/.bashrcfile saya :

function termtitle() { PS1="${PS1/\\u@\\h: \\w/$@}"; }

Setelah menambah atau mengubah fungsi atau, jika Anda ingin mengatur ulang judul untuk yang kedua kalinya gunakan:

. ~/.bashrc
termtitle Special Projects

Kalau tidak setiap hari gunakan saja termtitledengan judul baru.

Jika ada orang miskin seperti saya yang terpaksa menggunakan tcsh, coba sesuatu seperti ini di .cshrc Anda:

set prompt='%{\033]0;%n@%m\007%}%~%# '

Sumber dan detail lebih lanjut: http://tldp.org/HOWTO/Xterm-Title-4.html

Jika Anda menggunakan gnome 3, Terminal > Set Titleopsi menu yang nyaman telah dihapus. Anda dapat menginstal terminal bercabang gnome 2 yang masih memiliki opsi menu "Set Title", dan jalankan itu sebagai gantinya:

sudo apt-get install mate-terminal

Alih-alih menjalankan "Terminal", jalankan "MATE Terminal". Anda mungkin juga harus memilih terminal pasangan sudo update-alternatives --config x-terminal-emulator.