Então eu apenas instalei o Ubuntu, mas antes disso, eu peguei o meu antigo perfil de gnome-terminal.
Agora quero colocar esse perfil onde quer que seja que o gnome mantenha os perfis, para que eu possa selecioná-lo através da GUI. No entanto, não consigo encontrar o lugar onde ele lê.
Eu achei que era ~/.gconf/apps/gnome-terminal/profile , então substituí a pasta pela minha antiga pasta de perfil, mas isso não funcionou.
Eu pesquisei no meu sistema de arquivos e não consigo encontrar nenhum outro diretório que corresponda. No entanto, também não consigo encontrar pastas ou arquivos com o nome "unnamed", que é o nome do perfil padrão que tenho agora.
Acho que estou no lugar certo, mas talvez eu precise editar um dos arquivos xml na sub-árvore.
Alguém pode me ajudar?
tree ~/.gconf
.gconf
├── apps
│ ├── %gconf.xml
│ ├── gnome-terminal
│ │ ├── %gconf.xml
│ │ └── profiles // these are the profiles I want gnome to pull
│ │ ├── Default
│ │ │ └── %gconf.xml
│ │ ├── %gconf.xml
│ │ └── Profile0
│ │ └── %gconf.xml
│ └── nm-applet
│ └── %gconf.xml
└── desktop
├── %gconf.xml
└── gnome
├── applications
│ ├── browser
│ │ └── %gconf.xml
│ └── %gconf.xml
├── %gconf.xml
└── url-handlers
├── about
│ └── %gconf.xml
├── %gconf.xml
├── http
│ └── %gconf.xml
├── https
│ └── %gconf.xml
└── unknown
└── %gconf.xml
Aparentemente, os perfis criados em 14.04 não são utilizáveis no terminal gnome padrão de 15.04 e 15.10.
Acabei de abrir um gconf.xml em um editor e copiei manualmente todas as cores da paleta para a preferência de perfil do gnome-terminal.
Você pode visualizar as configurações inseridas com dconf-editor em vez de gconf-editor , em org->gnome->terminal->legacy->profiles .
Eu gostaria que houvesse uma ferramenta de importação para compatibilidade com versões anteriores ...
Tags gnome xml ubuntu terminal user-profiles