O ideal é que haja uma opção em Detalhes- > Aplicativos padrão, mas atualmente não há opção para "terminal".
Minha solução alternativa era instalar o Terminator, ou qualquer outro dos muitos pacotes de terminal GUI que sofrem o erro gnome-terminal, e depois ligá-lo em / usr / bin / gnome-terminal, por exemplo
sudo mv /usr/bin/gnome-terminal /usr/bin/gnome-terminal.bak
sudo ln -s /usr/bin/terminator /usr/bin/gnome-terminal
Os dois binários não têm parâmetros idênticos, mas até agora eles parecem ser similares o suficiente para que todos os meus lançadores de terminal (nautilus-open-terminal, Eclipse, etc) pareçam captá-lo perfeitamente.