por que não consigo criar um novo perfil de terminal do gnome ou editá-lo?

1

Quando eu crio um novo perfil de gnomo, ele não é salvo quando eu chego perto. Quando eu crio um novo perfil de gnomo, não posso editar as preferências para alterar coisas como cor, fonte etc. Eu também não posso alterar os padrões da mesma maneira. Todas as opções estão desabilitadas. Alguém saberia porque isso seria?

    
por vladish 28.09.2013 / 19:07

2 respostas

0

O motivo mais provável é que você perdeu as permissões de seus próprios arquivos. Isso pode ser facilmente resolvido com chmod / chown:

sudo chown -R $USER ~/.gconf/apps/
sudo chown -R $USER ~/.config/dconf
chmod -R u+w ~/.gconf/apps/
chmod -R u+w ~/.config/dconf
    
por Braiam 08.10.2013 / 19:13
0

O mais recente (no momento de escrever esta resposta) o armazenamento das configurações do gnome-terminal é o dconf. O terminal requer o pacote gsettings-backend-dconf . No entanto, às vezes (talvez em outras distribuições), o terminal é instalado sem essa dependência. Quando isso acontece, o gnome-terminal funciona e é aberto, mas não retém nenhum novo perfil e nenhuma alteração no perfil existente.

Abaixo estão os passos que resolveram este problema para mim:

  1. Instale o pacote dconf-gsettings-backend

    sudo apt instala o dconf-gsettings-backend

    Após este passo, pude ver que o arquivo ~/.config/dconf/user foi criado.

  2. Reinicializar

  3. Tente editar ou adicionar um novo perfil

por evpo 04.11.2017 / 08:14