Eu tenho um laptop mac e tenho usado um diretório pessoal que não está em meu nome. Depois de passar algum tempo, eu defini as preferências e, claro, um dia, eu precisava mudar o nome do diretório inicial para o meu.
Então eu entrei nas configurações da conta do usuário, mudei o nome da minha casa e movi a pasta dessa maneira:
mv /Users/previous-name /Users/new-name
Tudo funcionou bem, todas as minhas preferências estão aqui, exceto as do terminal. Eu tentei mudar manualmente a aparência (com um tema, por exemplo, o "Terminal > Preferências > Red Sands"), mas nenhuma mudança é levada em conta. Ainda tenho texto em preto com fundo branco.
Eu verifiquei os arquivos .bashrc e .bash_profile e verifiquei se a variável $HOME estava definida em vez de algo como /Users/previous-name .
Abrindo uma nova guia ou janela de terminal, o novo registro e a reinicialização não alteram nada.
Quaisquer pensamentos, dicas sobre como resolver isso?
Ok, resolvi. Em vez de usar as preferências da caixa de ferramentas Terminal > Preferences , cliquei diretamente no terminal e selecione Show inspector > Settings . Mudando o tema para Red Sands lá funcionou, não sei porque o primeiro caminho não funcionou, se alguém sabe por quê e gostaria de compartilhar o motivo. Enfim, problema resolvido!
Tags configuration terminal osx