Você sempre pode alternar para o padrão fornecido pelo comando gnome-terminal --window-with-profile=Default
(a menos que você tenha excluído esse perfil, é claro).
Posso iniciar um terminal gnome sem carregar o perfil?
(assim como bash --noprofile --norc
)
Em algum momento, cometi um erro ao escrever .bashrc
e não encontrei nenhuma maneira (exceto ssh
de outra máquina) de acessar esse .bashrc
para revisá-lo.
Você sempre pode alternar para o padrão fornecido pelo comando gnome-terminal --window-with-profile=Default
(a menos que você tenha excluído esse perfil, é claro).