Vous n'êtes pas identifié(e).
Dernière modification par dok (29-12-2023 08:40:53)
Hors ligne
Je ne trouve pas où faire cela.
Ce n'est pas/plus prévu, d'où l'existence d'extensions non officielles (motif : date format). En local :
truc 1 : élégant, éditer le fichier gnome-desktop-3.0.mo du paquet gnome-desktop3-data,
truc 2 : garanti à l'arrache, éditer le fichier /usr/share/i18n/locales/fr_FR du paquet locales.
La seconde proposition est très simpliste, et affecte toute l'interface (tel le gestionnaire de fichiers).
Dernière modification par èfpé (01-01-2024 14:48:42)
Hors ligne
Hors ligne