Onde as configurações do shell / terminal são armazenadas? [duplicado]

32

Atualizei meu Ubuntu, mas ele falhou durante a instalação e não consegui recuperá-lo (meu disco rígido travou). Eu mudei meu disco rígido e re-instale o Ubuntu

Salvei todos os meus documentos importantes (favoritos, documentos, etc.)

Uma coisa que não consegui recuperar foi o perfil do meu shell (alterei o esquema de cores, título, número de linhas, etc.)

Onde posso salvar isso para que, da próxima vez, algo aconteça, não precisarei definir minhas configurações de terminal novamente?

    
por aki 29.11.2011 / 14:11

5 respostas

33

Os perfis do Terminal GNOME são armazenados em: ~/.gconf/apps/gnome-terminal/profiles .

(Você pode querer fazer o backup de todo o diretório .gconf , no entanto.)

    
por lgarzo 29.11.2011 / 14:35
7

O novo gnome-terminal (3.8+ eu acho) armazena sua configuração no dconf em vez do gconf.

gsettings list-recursively | grep -i org.gnome.Terminal

Mais informações sobre a mudança link

    
por Tim Abell 03.10.2013 / 12:59
1

Caso alguém venha aqui procurando uma maneira de alterar as configurações do terminal do console (por exemplo, para disposições vagrant), o comando gconftool-2 pode ser usado. Por exemplo:

gconftool-2 --set /apps/gnome-terminal/profiles/Default/background_darkness --type=float 0.50

Você pode obter as chaves de configuração relevantes do arquivo ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xml .

    
por Wtower 10.02.2016 / 16:10
0

Eu não acho que isso irá mudar a cor de fundo do terminal do gnome, etc. mas irá editar o comportamento do BASH. Os arquivos de configuração BASH para o usuário individual são armazenados no arquivo .bashrc em seu diretório inicial. Observe que, como é um arquivo de ponto, ele fica oculto por padrão. Use ls -a do terminal para ver o arquivo ou invocar os arquivos ocultos no nautilus para revelá-lo. Há também um arquivo .profile, mas geralmente é mais fácil manter todas as suas edições em .bashrc.

Agora, aprender como configurar o BASH (ou outro shell) é um tópico totalmente diferente.

    
por haziz 04.12.2011 / 13:46
-1

Se você tiver uma partição / home separada e se não for formatá-la durante a instalação do Ubuntu, todas as configurações do usuário permanecerão intactas (já que todas as configurações do usuário serão armazenadas na partição / home). É sempre aconselhável criar várias partições (uma partição independente para / por isso, enquanto reinstalar apenas essa partição pode ser formatada)

    
por mac 29.11.2011 / 14:17