Como migrar as configurações do gedit?

7

Então, só tive que fazer uma reinstalação e, como parte desse processo, estou iniciando uma nova conta para remover algumas das configurações que construímos ao longo do tempo.

Eu tenho sido bem-sucedido ao escolher algumas configurações de aplicativos copiando seus diretórios antigos, mas gedit está causando problemas.

Eu já copiei o seguinte:

.gconf/apps/gedit-2
.local/share/gedit
.config/gedit

E isso me permitiu usar meus plugins antigos, mas nada mais. Não está se lembrando de cores, quais plugins foram habilitados ou configurações individuais de plugins.

Eu estou vindo da mesma versão do Ubuntu, então teria esperado que isso atendesse a todas as minhas configurações. Eu tenho medo que possa haver uma configuração travada em dconf .

    
por Oli 15.02.2012 / 12:40

3 respostas

2

O gedit mantém algumas de suas preferências no registro do gnome.

Você pode vê-los se você gerar o gconf-editor e visitar / apps / gedit-2

Para exportar, use sth como

gconftool --dump / apps / gedit-2 > gedit.settings

copie o arquivo gedit.settins e importe com

gconftool --load gedit.settings

(ou brincar com o diretório ~ / .gconf, mas pode ser menos seguro)

Atualização: alguns dos atributos podem não estar definidos apenas para o gedit, mas de forma mais geral. Algumas pesquisas no gconf-editor podem ajudar a localizá-las.

    
por Mekk 28.03.2012 / 16:54
1

Primeiramente, gostaria de concluir que você está correto sobre essas configurações serem salvas pelo dconf. A primeira coisa que fiz foi correr

locate gedit

Eu olhei e não encontrei muito mais além do que você já mencionou. Em seguida, comecei a descobrir onde as configurações do dconf eram salvas e determinava que você verificaria as configurações usando

dconf list /org/gnome/gedit/

ou leia as configurações reais substituindo 'list' por 'read' depois de localizar a configuração que você deseja ler usando o comando list.

Acho que a opção mais simples é copiar ~/.config/dconf/ e todos os subdiretórios, a menos que você possa determinar qual diretório de usuário é seu.

A outra alternativa é usar dconf dump e dconf write . Você pode encontrar muitas informações necessárias aqui: a parte inferior desta página

    
por l300lvl 16.02.2012 / 05:32
1

Você estava certo sobre a configuração estar presa dentro do dconf, onde as configurações do gedit estão ativas. Eu não aconselharia portá-los através de versões, porém, não há garantia de que eles serão compatíveis e você pode obter todos os tipos de resultados desagradáveis. Tente obter as instalações do gedit de origem e de destino para a mesma versão antes de tentar migrar as configurações.

Então, para fazer o que você pediu, você pode primeiro armazenar o despejo de configuração em um arquivo chamado gedit-dump.conf :

dconf dump /org/gnome/gedit/ > gedit-dump.dconf

Em seguida, na máquina de destino, você carregaria esse arquivo:

dconf load /org/gnome/gedit/ < gedit-dump.dconf

Você sabia que as configurações poderiam estar no banco de dados do dconf, então você poderia ter verificado onde eles estavam por conta própria:

dconf dump / | grep gedit

Se precisar, você pode limpar as configurações do gedit com:

dconf reset -f /org/gnome/gedit/
    
por ichaer 03.11.2015 / 12:30