Como exportar um perfil gnome-terminal?

Question

É possível exportar um perfil do terminal gnome para outro computador?

Eu criei um perfil de terminal usando as preferências de edição > e salve-o como "def". Eu gostaria de salvar a configuração em um arquivo e usá-lo em outro computador.

Eu tento grep "def" dentro de .config / dconf / e encontrar

Binary file dconf/user matches

É possível extrair as informações da configuração (especialmente sobre as cores, leva muito tempo para encontrar os colurs certos) e usá-las em outro computador.

Estou usando o Fedora 28 com o gnome.

4.16.13-300.fc28.x86_64 , gnome-terminal-3.28.2-2.fc28.x86_64 .

    

Answer 1

Você pode usar dconf(1) para despejar e carregar os perfis do gnome-terminal. Eu tenho o uso do comando básico a partir desta fonte:

link

Para exportar todos os seus perfis gnome-terminal de um sistema e, em seguida, carregá-los em outro, você deve emitir o seguinte:

sistema de origem:

$ dconf dump /org/gnome/terminal/legacy/profiles:/ > gnome-terminal-profiles.dconf

sistema de destino (depois de transferir o arquivo gnome-terminal-profiles.dconf):

$ dconf load /org/gnome/terminal/legacy/profiles:/ < gnome-terminal-profiles.dconf