Quand I ls -l
, le résultat est imprimé à l’écran par une ligne semblable à
drwxrwxr-x 3 yotam yotam 4096 יונ 29 10:27 mnt
la partie יונ
est l'hébreu pour JUN
. Je veux que ce soit en anglais, c'est-à-dire JUN
J'imagine qu'il s'agit d'un problème de configuration des paramètres régionaux. Malheureusement, je ne comprends tout simplement pas les paramètres régionaux, et je ne pouvais pas trouver de guide à mon goût. Mon fichier /etc/default/locale
LANG="en_US.UTF-8"
LC_NUMERIC="he_IL.UTF-8"
LC_TIME="he_IL.UTF-8"
LC_MONETARY="he_IL.UTF-8"
LC_PAPER="he_IL.UTF-8"
LC_NAME="he_IL.UTF-8"
LC_ADDRESS="he_IL.UTF-8"
LC_TELEPHONE="he_IL.UTF-8"
LC_MEASUREMENT="he_IL.UTF-8"
LC_IDENTIFICATION="he_IL.UTF-8"
Je suppose que la variable LC_TIME
est celle que je souhaite modifier. Cependant, je suppose que cela entraînera une modification du format de l'heure complet, et pas uniquement du nom du mois. Aussi, je ne sais pas comment faire ça.
Des pensées?
Il y a quelques options. Le moins intrusif est de démarrer le terminal en appuyant sur Alt + F2 et en exécutant la commande
env LC_TIME=en_US.UTF-8 gnome-terminal
Une option consiste à modifier cela à l'échelle du système.