É 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.