Eu não removo isso. Dado que é o emulador de terminal padrão para o ambiente de desktop Unity / Gnome, pode haver algum programa / script obscuro que o use incondicionalmente e você terá um erro (provavelmente daqui a dois anos, quando não se lembra o que pode ter causado isto).
A maneira preferida é:
-
Instale o novo emulador de terminal, por exemplo
sudo apt-get install terminator
-
Defina o método
update-alternative
para escolhê-lo:[romano:~/tmp] % sudo update-alternatives --config x-terminal-emulator There are 8 choices for the alternative x-terminal-emulator (providing /usr/bin/x-terminal-emulator). Selection Path Priority Status ------------------------------------------------------------ * 0 /usr/bin/terminator 50 auto mode 1 /usr/bin/gnome-terminal.wrapper 40 manual mode 2 /usr/bin/koi8rxterm 20 manual mode 3 /usr/bin/lxterm 30 manual mode 4 /usr/bin/rxvt-xpm 8 manual mode 5 /usr/bin/rxvt-xterm 10 manual mode 6 /usr/bin/terminator 50 manual mode 7 /usr/bin/uxterm 20 manual mode 8 /usr/bin/xterm 20 manual mode Press enter to keep the current choice[*], or type selection number:
... e deveria ser isso. Se você tem probelms, você pode procurar aqui: Como posso definir terminal padrão usado no Unity?
No entanto, observe que há um bug / reprovado da biblioteca subjacente que faz com que todas as coisas que usam o "open in terminal" não respeitem a seleção acima. O bug foi reportado e reconhecido em 2010, existe um patch disponível, mas ainda está aqui. Eu não iria segurar minha respiração por uma correção.
Uma solução alternativa para todo o sistema pode ser remover o binário gnome-terminal
e substituí-lo por um link para x-terminal-emulator
--- deve funcionar na maioria das vezes ...
Alternativamente, você tem em seu diretório PATH
the $HOME/bin
antes /usr/bin
(como todos, suponho) você pode simplesmente ln -s /usr/bin/terminator $HOME/bin/
(sem privilégios requeridos) e simplificado felizmente usar o link em vez do real gnome-terminal
.