Gnome-Terminal başlığı nasıl değiştirilir?

141

Çalışma ortamımda çalışan birkaç terminal örneğim var. İstediğim şey, belirli uçbirimin hangi amaçla sunulduğunu açıklamak için Apache, editing_ini, postgres vb. ..

Elbette komut satırından.

    
sordu topless 20.01.2011 14:20

11 cevap

129
  • En kullanıcı dostu yolu, Terminal - & gt; "Başlık ...".

  • Ancak başka yollar da vardır, ayrıca yayınlayabilirsiniz

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

    Bu, .bashrc 'inizin bu davranışın üzerine yazması için büyük bir şans olduğu için istenen etkiyi vermeyebilir.

  • Bizi .bashrc 'sımdan utanmadan ürettiğim son yönteme getir.

    PROMPT_COMMAND='echo -ne "3]0;SOME TITLE HERE
    PROMPT_COMMAND='echo -ne "3]0;${USER}@${HOSTNAME}: ${PWD/$HOME/~}
    case "$TERM" in
    xterm*|rxvt*)
        # JEFFYEE REMOVED because it makes commands to title() not work
        #PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\[email protected]\h: \w\a\]$PS1"
        ;;
    *)
        ;;
    esac
    
    7"'
    7"'

Ekstra bir referans olarak, bu .bashrc

içindeki özel satırdır. %pre%

Ayrıca bu kodu ~ / .bashrc

dosyanıza eklemeniz gerekebilir. %pre%     
verilen cevap Ward Muylaert 20.01.2011 14:51
52

Koğuşunuzun cevabı, başlığınızı bir terminali her açtığınızda vb. Sadece bir başlığı hızlı bir şekilde ayarlamak istiyorsanız, yankıyı tek başına çalıştırabilirsiniz:

echo -ne "3]0;SOME TITLE HERE
#!/bin/bash

echo -ne "3]0;%pre%7"
7"

veya basit bir bash komut dosyası hazırlayın, termtitle

deyin %pre%

termtitle "some title here" ile çalışabiliyorsunuz

    
verilen cevap naught101 29.05.2012 04:20
30

Vim düzenleyicisini kullanırsanız, bu seçeneği vimrc'inizde de etkinleştirebilirsiniz:

:set title

varsayılan olarak devre dışı bırakılmış. Şu anda düzenlediğiniz dosya adını ve diğer bazı şeyleri gösteren havalı terminal başlıkları belirleyecektir.

    
verilen cevap ulidtko 20.01.2011 15:40
22

Bütünlük adına, şu komutu kullanarak gnome-terminal başlık da ayarlayabilirsiniz:

wmctrl -r :ACTIVE: -N "MyWindowTitle"

Paketi yüklemeniz gerekir wmctrl önce.

    
verilen cevap Isaiah 23.01.2011 01:57
15

Argh, çok cevap var ...

En az bir kez kalıcı olarak, simge başlığını değiştiremediğim hariç, neredeyse çalıştıran wmctrl'yi denedim.

Çözüm, ubuntu’daki PS1’in başlığı ayarlamasıdır.

Varsayılan PS1,

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

... ilk çıkış sırasındaki başlığı ayarlar.

Böylece iki çözüm var:

Çözüm 1: PS1'i basitleştirin, sonra da PROMPT_COMMAND

kullanın.

PS1'i daha basit bir şeye değiştirin:

PS1="\[email protected]\h:\w$ "

... sonra PROMPT_COMMAND kullanın:

PROMPT_COMMAND='echo -ne "3]0;SOME TITLE HERE
PS1='\[\e]0;newtitle\a\]${debian_chroot:+($debian_chroot)}\[email protected]\h:\w$ '
7"'

Çözüm 2: doğrudan PS1’i değiştirin

PS1'i yeni başlıkla değiştir:

%pre%     
verilen cevap Hugh Perkins 07.02.2013 04:36
11

Ubuntu kullanıcısıysanız, HUD 'u kullanarak gnome terminali sekmesinin başlığını değiştirebilirsiniz.

Gnome terminalinde, HUD'yi getirmek için Alt tuşuna basın, ilk birkaç harfi yazın, örn. "tit", enter tuşuna basın ve yeni başlığınızı yazın.

Bu çok hızlı bir yöntemdir ve fareyi kullanmayı önler.

    
verilen cevap Tom 18.06.2013 08:55
4

gnome-terminal başlık değerini değiştirmenin bir başka yolu gconftool-2 kullanarak; bu, profile seçili için ilk terminal başlığını değiştirir, böylece 'Apache', 'Düzenleme' vb. başlıklarla ilişkili farklı profillere sahip olabilirsiniz. Daha sonra, gnome-terminal öğesini uygun profille başlatırsınız. Belirttiğiniz terminal başlığını almak için Bu, terminal başına başlığı değiştiren, ancak profilde belirtilen başlangıç ​​başlığını etkilemeyen gnome-terminal --title "name" değerine eşittir.

Bir profil için terminalin ismini ayarlamak için bir komut dosyasında aşağıdaki komutu kullanabilirsiniz. Ayrıca, günün belirli saatlerinde terminal değişikliğinin adını size hatırlatmak için:

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

Bu varsayılan profil içindir, ancak diğer profillerin başlığını da değiştirerek, örneğin, Default Profile0 gibi başka bir profile çevirebilirsiniz:

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

Başlığın bu şekilde değiştirilmesinin, komut dosyalarında kullanılabilecek şekilde kullanılması nedeniyle ya da profilin başlığını ayarlamak için hızlı bir komut satırı yolu olarak kullanıldığını düşündüm. Bazen, gconftool-2 ayarının etkilenmesi için belirtilen profile sahip terminali yeniden başlatmanız gerektiğini unutmayın. % Co_de% için kullanılabilen tüm ayarlar gnome-terminal ile listelenebilir.

    
verilen cevap user76204 03.01.2013 02:09
3

Başka bir çözüm, tuş vuruşlarını simüle etmek için xdotool kullanmaktır, belki de betiklerde kullanışlıdır:

  1. Gnome terminalinde bir klavye kısayolu ayarlayın:

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

    Örneğin, Shift+Ctrl+Y değerini atarken.

  2. Henüz sahip değilseniz xdotool yükleyin:

    sudo apt-get install xdotool
    
  3. Aşağıdaki komut dizisi (aynı zamanda bir betik betiğinde de kullanabilirsiniz) terminal / sekme başlığını ayarlar (boşlukları \ ile kaçar):

    xdotool key ctrl+shift+y 
    xdotool type My\ new\ fabulous\ title
    xdotool key Return
    
  4. [isteğe bağlı] Ayrıca, xdotool'u örn. yeni bir sekme açın ve yukarıdaki komutları kullanarak başlığı ayarlayın:

    xdotool key ctrl+shift+t
    

    Yeni bir sekme açmadan önce ve sonra bir uyku süresi eklemeyi düşünün, ör. sleep 1 (1 saniye beklemek için).

Bu en şık çözüm değil, ama benim için çalıştı! Benim durumumda önceki cevaplar işe yaramadı. Ubuntu 14.04'te gnome terminali kullanıyorum ve bir bash betiği yapmak istedim.

    
verilen cevap MakisH 12.11.2015 18:55
2

Sadece baştaki mevcut çalışma dizinini görüntülemek için, bunu '.bashrc' içinde deneyin:

PROMPT_COMMAND='echo -ne "3]0; ${PWD##*/}
PROMPT_COMMAND='echo -ne "3]0;$(basename ${PWD})%pre%7"' 
7"'

veya

%pre%     
verilen cevap Sriram 16.03.2014 06:47
0

Kendim gibi fakir ruhlar tcsh kullanmaya zorlanırsa, .cshrc'inizde böyle bir şey deneyin:

set prompt='%{3]0;%[email protected]%m%pre%7%}%~%# '

Kaynak ve daha fazla ayrıntı: İşte

    
verilen cevap spookypeanut 02.05.2017 13:11
0

Bu, Gnome Terminal 3.18.3 adresinde çalıştı.

.bashrc dosyanızı düzenleyin ve bu işlevi ekleyin

# Update gnome terminal title
function termtitle() {
    # take argument
    TITLE=
    shift
    # update title
    PROMPT_COMMAND='echo -ne "3]0; $TITLE 
$ source ~/.bashrc
7"' }

.bashrc dosyanızı source unutmayın

$ termtitle "MariaDB CLI"

Sonra basitçe güncelleyebilirsiniz, böylece terminal başlığını şu şekilde değiştirebilirsiniz:

%pre%     
verilen cevap RousseauAlexandre 23.10.2017 11:06

Etiketlerdeki diğer soruları oku