GNOME-terminalinde terminal sekmesi başlığı nasıl değiştirilir?

70

Sekmeyi sağ tıklayıp başlığı değiştirebilmek için kullanılır. Artık bunun nasıl yapıldığından emin değilim. Daha yeni Fedora 21'e yükselttim.

EDIT: GNOME terminalinden ROXterm'e geçtim

gnome-terminal

— Penner
kaynak

108

Bir işlev oluşturun ~/.bashrc:

function set-title() {
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

Ardından, terminal başlığını ayarlamak için yeni komutunuzu kullanın. Adında boşluklarla da çalışıyor

set-title my new tab title

Daha sonra set-titletekrar kullanmak mümkündür (orijinal PS1 olduğu gibi korunur ORIG).

— Weston Ganger
kaynak

32

user titleKod uzaklaştırılmıştır ¹ den gnome-terminal 3.14. Başlığı ayarlamak için bir kaçış dizisi kullanabilirsiniz:

printf "\e]2;YOUR TITLE GOES HERE\a"

veya örneğin bash:

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

^{1: Gnome bug 724110 ve Gnome bug 740188'e bakınız .}

— don_crissti
kaynak

9

Tartışmalara bağlantı için teşekkür ederiz. Sanırım buna cevabım HAYIR. Bağlantılardan birinden komik bir alıntı: "modern kullanıcılar terminal kullanmıyor". LOL.

— penner

Bu benim için işe yaramıyor: Fedora 21, Bash 3.14.3.

— kdbanman

Ayrıca fc22 üzerinde de çalışıyor ..

— Balaji Perumal

3

Görünüşe göre, geri geliyor ... "Evet, üzgünüm, - başlık seçeneği yarım yıl önce yayınladığımız GNOME 3.20 (Mart 2016 sürümü), ancak Ubuntu 16.04 GNOME 3.18 (Eylül 2015 sürümü) ile geri yüklendi. bu seçeneği kaldırmıştı. " Michael Catanzaro'nın 2016-09-01 18:41:45 UTC yorumu # 31 (ikinci böceğin, 740188'den)

— adaçayı

1

@sage - özellik yok, Michael'ın yorumu --title, gerçekten restore edildiğini onaylayabildiğim seçenek hakkında . Bununla birlikte, buradaki Q, şu anda açık olan sekmeyi yeniden adlandırmak için sağ tıklatma seçeneğiyle ilgilidir - farklı bir sorun ...

— don_crissti 13:17

18

GNOME terminalinin yeni sürümleri, en yararlı profesyonel özellikleri bir kenara attı. :-(

Kurulum ve gnome-terminal çalışan eski bir sürümünü almak çalıştı ve ayrıca alternatifleri karşılaştırmaya çalıştım.

Eğer terminatorsizin için çok egzotik, mate-terminalmükemmel bir seçenektir! Gnome terminalinin bir çatalı ve sadece tüm iyi özelliklerini koruyor:

komut satırından farklı başlıklar vererek birden fazla sekme açabilirsiniz.
```
mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"
```
Eğer (Ben Ctrl + Shift-kullandığınız bir klavye kısayolu oluşturabilirsiniz i de ayarlamak için) i TLE

— geekQ
kaynak

Guake da kötü bir değişken değildir

— Bunyk

1

Top veya ssh gibi bir yerleşik programı çalıştırdığınızda, sekme uygun şekilde etiketlenir.

gnome-terminal --tab -e top -t "aaa" --tab -e top -t "bbb"

— fastrizwaan
kaynak

1

Ubuntu 16.04 kullanıyorsanız, şunları yapmanız gerekebilir:

PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"

Bunun hakkında daha fazla bilgiyi bağlantıda listeliyorum .

— Zach Pfeffer
kaynak

0

bunu .bashrc içine koyun:

function title() { 
  p1='echo -ne "\033]0;' 
  p2='\007"'
  PROMPT_COMMAND=$p1$@$p2 
  p1= 
  p2=
}

— işaret
kaynak

0

@Weston Ganger'in cevabına yapılan bir genişleme olarak, yeni bir Gnome terminali açtıktan sonra otomatik olarak bir başlık ayarlamak istiyorsanız, bunu aşağıdakilerin altına ekleyin ~/.bashrc:

if [ ! -z "$SET_TITLE" ]; then
    set-title $SET_TITLE;
    export SET_TITLE=;
fi

Ardından şöyle bir terminali başlatın:

gnome-terminal --tab -e 'bash -c "export SET_TITLE=\"my title\"; bash -i"'

ve set-titlebaşlığı uygulamak için otomatik olarak çalışacaktır .

— Cerin
kaynak

0

bir satır çözüm, .bashrc içine aşağıdaki satırı ekleyin

alias tab_name='read -p "Name to Assign:" tabname ;  printf "\e]2;$tabname\a" '

Şimdi terminal yani tab_name yazın

user:~$ tab_name  
Name to Assign: ( type desired name here! )

tamam

— Süfyan
kaynak