As configurações do terminal do Gnome, incluindo os perfis, agora são armazenadas em dconf em vez de gconf . Enquanto gconf usava arquivos XML legíveis para armazenar dados que poderiam ser editados diretamente, dconf configurações precisam ser editadas por meio de uma interface.
Para editá-los em uma GUI, instale primeiro dconf-tools ( sudo apt-get install dconf-tools ), execute o comando dconf-editor e navegue para
org > gnome > terminal > legacy > profiles:
Você encontrará todos os seus perfis, embora a chave de configuração pareça ser um UUID e o perfil name está na chave visible-name abaixo.
Você pode listar seus perfis usando o comando:
dconf dump /org/gnome/terminal/legacy/profiles:/ | grep -e "\[\:\|visible-name"
E você pode descarregar ou carregar um perfil a partir da linha de comando usando o seguinte:
dconf dump /org/gnome/terminal/legacy/profiles:/:xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx/ > profile.dconf
dconf load /org/gnome/terminal/legacy/profiles:/:xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx/ < profile.dconf