Como definir a codificação de caracteres padrão diferente de 'gnome-terminal' da localidade padrão do sistema?

Question

Parece que o programa gnome-terminal usa o padrão do sistema local como sua codificação padrão quando é iniciado. Por algum motivo, não consigo alterar a configuração de localidade padrão do sistema. Eu quero usar outra localidade apenas no gnome-terminal .

Atualmente, preciso alterar a localidade no menu manualmente sempre que eu abrir uma nova instância de gnome-terminal . É possível definir a localidade padrão de gnome-terminal (diferente da localidade padrão do sistema) ou deixar gnome-terminal lembrar da última codificação usada?

    

Answer 1

Método um : defina as variáveis apropriadas. Por exemplo (tente executar isso a partir do shell):

LANG=C /usr/bin/gnome-terminal

(dependendo das configurações de localidade que você precisa, você pode querer definir outras variáveis, digite "locale" para ver a lista completa)

Se funcionar, você pode envolvê-lo como shell script (apenas salve essa linha como sth como "myterm", torne-a executável e puth em algum lugar no PATH) e apenas use "myterm" para gerar novos terminais.

Método dois : você pode usar um truque semelhante dentro da configuração do terminal gnome. Insira as preferências de perfil (Editar / Preferências de perfil), clique em [x] Executar um comando personalizado em vez do meu shell e use sth como

/path/to/mybash

como seu comando personalizado. / path / to / mybash deve ser executável e conter

export LANG=C
exec bash

(ou sth similar) Observe que isso é "por perfil", portanto, se você usar vários perfis de terminal, talvez seja necessário repeti-lo.

PS Se você precisar de várias codificações, basta criar vários perfis e usar um apropriado sempre que precisar. Note que você pode usar

gnome-terminal --window-with-profile=ProfileName

para gerar um perfil específico a partir do shell (ou do ícone da área de trabalho ou do ícone da barra de ferramentas ou ...)