Il semble que le programme gnome-terminal
utilise le système par défaut local comme codage par défaut lors de son démarrage. Pour une raison quelconque, je ne peux pas modifier les paramètres régionaux par défaut du système. Je veux utiliser une autre locale juste dans le gnome-terminal
.
Actuellement, je dois modifier manuellement les paramètres régionaux dans le menu chaque fois que j'ouvre une nouvelle instance de gnome-terminal
. Est-il possible de définir les paramètres régionaux par défaut de gnome-terminal
(différents des paramètres régionaux par défaut du système) ou de laisser gnome-terminal
mémoriser le dernier codage utilisé?
Méthode 1: définir les variables appropriées. Par exemple (essayez de l'exécuter à partir du shell):
LANG=C /usr/bin/gnome-terminal
(en fonction des paramètres régionaux dont vous avez besoin, vous pouvez définir d'autres variables, tapez "locale" pour afficher la liste complète)
Si cela fonctionne, vous pouvez l'envelopper en tant que script Shell (enregistrez simplement la ligne sth telle que "myterm", rendez-la exécutable et placez-la quelque part dans PATH) et utilisez "myterm" pour créer de nouveaux terminaux.
Méthode deux: vous pouvez utiliser une astuce similaire dans la configuration gnome-terminal. Entrez les préférences de profil (Éditer/Préférences de profil), cliquez sur [x] Exécuter une commande personnalisée à la place de mon shell et utilisez sth comme
/path/to/mybash
comme votre commande personnalisée./path/to/mybash devrait être exécutable et contenir
export LANG=C
exec bash
(ou similaire) Notez que ceci est "par profil", donc si vous utilisez plusieurs profils de terminal, vous devrez peut-être le répéter.
PS Si vous avez besoin de plusieurs encodages, créez simplement plusieurs profils et utilisez-en un à chaque fois que vous en avez besoin. Notez que vous pouvez utiliser
gnome-terminal --window-with-profile=ProfileName
pour générer un profil spécifique à partir du shell (ou à partir de l'icône du bureau ou de l'icône de la barre d'outils ou ...)