É possível exportar um perfil do terminal gnome para outro computador?
Eu crio um perfil de terminal usando edit>preferences e salvei como "def". Gostaria de salvar a configuração em um arquivo e usá-la em outro computador.
Eu tento grep "def" dentro de .config/dconf/ e encontro
Binary file dconf/user matches
É possível extrair as informações da configuração (principalmente sobre as cores, leva muito tempo para encontrar as cores certas) 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
.
Você pode usar
dconf(1)
para despejar e carregar os perfis do gnome-terminal. Eu obtive o uso básico do comando desta fonte:https://gist.github.com/reavon/0bbe99150810baa5623e5f601aa93afc
Para exportar todos os seus perfis do terminal gnome de um sistema e carregá-los em outro, você emitiria o seguinte:
sistema de origem:
$ dconf dump /org/gnome/terminal/legacy/profiles:/ > gnome-terminal-profiles.dconf
sistema de destino (após transferir o arquivo gnome-terminal-profiles.dconf):
$ dconf load /org/gnome/terminal/legacy/profiles:/ < gnome-terminal-profiles.dconf
Obrigado pela ajuda, pessoal.
Eu também achei essa essência do github muito útil. Mas de alguma forma acabei com um arquivo .dconf exportado que não pôde ser importado. A execução do comando de carregamento que o Zeb DeOs deu continuou gerando este erro:
erro: o arquivo de chave não inicia com um grupo
A análise de tentativa e erro me levou a concluir que a linha principal do meu arquivo .dconf era o problema:
Substituir a linha principal por isso parecia torná-la carregável:
Então, caso ajude em alguma coisa, o arquivo que você está tentando carregar deve ter o formato mostrado abaixo. Observe a correspondência de 1 para 1 dos itens da lista no cabeçalho com as entradas abaixo.