O carregamento do GNOME Terminal não funciona corretamente após a atualização para o 16.04

Question

Esse comando abaixo funcionou bem no Ubuntu 14.04. Após a atualização para o 16.04, ele não funciona mais. Abre uma janela de terminal com 4 abas.

open-terminals.sh

#!/bin/bash
gnome-terminal --load-config=terminal-config.cfg &>/dev/null &

terminal-config.cfg

#Written by GNOME Terminal 3.6.2

[GNOME Terminal Configuration]
Version=1
CompatVersion=1
Windows=Window0;

[Window0]
MenubarVisible=true
Role=gnome-terminal-window-6355-887453268-1466588933
ActiveTerminal=Terminal0xed4f70
Geometry=135x24+437+495
Terminals=Terminal0xe04970;Terminal0xc1f520;Terminal0xe4f060

[Terminal0xe04970]
ProfileID=Default
Title=am.example.com
WorkingDirectory=/home/.../servers/apache-tomcat-am/bin
Zoom=1
Width=135
Height=24

[Terminal0xc1f520]
ProfileID=Default
Title=web.example.com
WorkingDirectory=/home/.../servers/apache-tomcat-web/bin
Zoom=1
Width=135
Height=24

[Terminal0xe4f060]
ProfileID=Default
Title=middleware.example.com
WorkingDirectory=/home/.../servers/payara-middleware/bin
Zoom=1
Width=135
Height=24

[Terminal0xed4f70]
ProfileID=Default
Title=api.example.com
WorkingDirectory=/home/.../servers/glassfish-api/bin
Zoom=1
Width=135
Height=24

No começo, recebi um "Error creating terminal: "Default" is not a valid UUID" error . Eu corrigi-o para que eu coloque um real uuid para ProfileIDs.

O próximo erro que recebi foi "Error creating terminal: No profile with UUID "e4661004-d5fd-4d17-9a9d-8e419b6b8330" exists" . Eu corrigi-lo para que eu alterei o valor de terminais em [Window0] para os IDs de perfil.

Próximo problema: as propriedades Title e WorkingDirectory não são aplicadas e acabei de perceber que o menu "renomear guia" desapareceu do menu.

Terminal do GNOME

3.18.3

Um emulador de terminal para a área de trabalho do GNOME

Usando o VTE versão 0.42.5 + GNUTLS

Você poderia me ajudar a corrigir esse problema?

atualização

gnome-terminal --save-config=~/temp/xyz.cfg diz que Option "--save-config" is no longer supported in this version of gnome-terminal.

O que é isso? Qual é a maneira alternativa de fazer o mesmo com a nova versão do gnome-terminal? Eu não encontrei nada útil sobre este tópico na internet: (

    

Answer 1

Mesmo problema.

No meu computador, o parâmetro de linha de comando --tab-with-profile aceitou o valor "Padrão", enquanto --load_config não (verifique a tag <entry name="visible_name"> no arquivo ~ / .gconf / apps / gnome-terminal / profiles / Default /% gconf.xml ou use as configurações de perfil da GUI).

Então eu transformei valores importantes do arquivo de configuração para os parâmetros da linha de comando. Você pode usar o seguinte código para sua configuração:

gnome-terminal --geometry="135x24+437+495" \
            --tab-with-profile="Default" --working-directory="/home/.../servers/apache-tomcat-am/bin" \
            --tab-with-profile="Default" --working-directory="/home/.../servers/apache-tomcat-web/bin" \
            --tab-with-profile="Default" --working-directory="/home/.../servers/payara-middleware/bin" \
            --tab-with-profile="Default" --working-directory="/home/.../servers/glassfish-api/bin"

Infelizmente, não encontrei como definir títulos de guias dessa maneira.

Mas há doces no final. Você pode usar --command para cada guia e executar, e. %código%. Isso era impossível com o arquivo de configuração.

    

Answer 2

Eu tenho o mesmo problema. Correção parcial é comentar todas as linhas em que

ProfileID=Default

... fornece carregar todas as suas guias da configuração salva anteriormente. Mas o problema do nome da guia deve ser corrigido (verifiquei --help & --help-all - não encontrei a propriedade correta para o título da guia)

Outra forma de obter um hot fix é substituir o ProfileID name value por id value. O valor Id pode ser verificado em Edit - > Profile parameters - > General - > profile ID .