Como eu programmicamente posso definir o título do terminal gnome?

4

Como programmicamente posso definir o título do terminal gnome? Eu tentei

gnome-terminal --title="bla"

mas isso abre uma nova janela de terminal durante a saída

Xlib:  extension "RANDR" missing on display ":0.0".
    
por Kurru 26.06.2012 / 01:32

3 respostas

4

Entendi isso para funcionar

PROMPT_COMMAND='echo -ne "3]0;g0
PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
7"'

Se isso não alterou seu título de terminal, primeiro você terá que abrir ~/.bashrc . Encontre a linha que diz:

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

Comente esta linha, colocando um caractere # na frente:

PROMPT_COMMAND='echo -ne "3]0;Terminal title name change here
PROMPT_COMMAND='echo -ne "3]0;g0
PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
7"'
7"'

Agora adicione esta linha (você pode querer colocá-la logo após a linha comentada):

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

Substitua Terminal title name change here pelo que você quiser alterar o título do Terminal, se houver.

    
por Kurru 27.06.2012 / 06:22
0

gksu gedit /usr/share/applications/gnome-terminal.desktop

encontre Name=Terminal

mude para Name=whatever you want

salvar reiniciar

nome alterado

É isso que você queria?

Ou de outra maneira sem sair do terminal

cd /usr/share/applications

sudo sed -i 's/Terminal/Your new name here/' gnome-terminal.desktop

para ver a mudança de nome aparecer no ícone no lançador, você também deve reiniciar a unidade

unity &> /dev/null & disown

para mais informações sobre reinicialização da unidade, leia link

'

    
por damien 26.06.2012 / 02:15
0

A opção gnome-terminal --title é frequentemente substituída pelo seu arquivo .bashrc que atualiza seu título de terminal (ou tab) conforme o prompt é alterado.

case "$TERM" in
    xterm*|rxvt*)
        PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
        ;;
    *)
        ;;
esac

Outras postagens recomendaram comentar essa lógica no .bashrc, mas isso desativa todos os terminais de rastrear o prompt, o que às vezes é útil.

Para adicionar um controle opcional, modifique seu .bashrc para adicionar uma variável de ambiente que, quando definida, pulará o título do seu terminal (guia) para o prompt:

if [ -z "$BASHRC_SKIPPS1" ]
then
    case "$TERM" in
    xterm*|rxvt*)
        PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
        ;;
    *)
        ;;
    esac
fi

Agora, para invocar um terminal com um título estático, use:

$ BASHRC_SKIPPS1=true gnome-terminal --title="static title"

e para abrir uma nova guia em um terminal existente com um título estático, use:

$ BASHRC_SKIPPS1=true gnome-terminal --title="static title" --tab

Para abrir um terminal com o título rastreando o uso do prompt:

$ gnome-terminal

ou uma guia de terminal com o título rastreando o uso do prompt:

$ gnome-terminal --tab
    
por Bill Gale 13.06.2015 / 00:53