Comment changer le format de date dans le shell Gnome 3?

21

Je veux changer le format de date / heure sur le panneau supérieur en un format proche de RFC 3339 / ISO 8601, comme l'un d'eux:

%F %T → 2013-06-24 16:13:00

%F %a %T → 2013-06-24 lun 16:13:00

%A %F %T → lundi 2013-06-24 16:13:00

Je sais qu'Unity a une préférence quelque part cachée dans dconf, c'est comme ça que je l'ai fait dans Unity, mais je ne trouve pas une telle préférence pour le shell Gnome 3. De préférence, je voudrais également définir l'une de ces options comme préférence locale de date / heure à l'échelle du système.

gnome

— James Haigh
source

1

doublon possible de Comment configurer le format de date d'horloge à ISO 8601?

— Radu Rădeanu

3

@Radu: Le shell Unity n'est pas le shell Gnome. Non, ce n'est pas un double de cette question.

— James Haigh

Malheureusement, gnome-shell est synonyme de gnome , alors qu'en fait ce n'est qu'une partie de Gnome 3 qui est remplacée par Unity shell dans Ubuntu principal.

— James Haigh

@edwin: Soit dans quel sens? Je n'ai même pas ces 2 clés dans mon dconf. Vous devriez peut-être le tester vous-même, et si vous réussissez, postez une réponse ici. Jusque-là, cette question n'est pas un double de celle-là. Comme je l'ai mentionné dans la question, je sais que c'est possible dans Unity, je l'ai déjà fait, en utilisant ces 2 clés, mais c'est le shell Gnome. On peut bouger maintenant?

— James Haigh

1

J'ai regardé ici , ici et ici . Mis à ce jour (au moins selon le dernier «ici»), il semble que l'API ait été modifiée de sorte que le format se trouve dans le code C / C ++. Je veux dire que je ne trouve rien dans l'API JavaScript sur la WallClockclasse (que vous pouvez utiliser pour modifier le fichier /usr/share/gnome-shell/js/ui/dateMenu.js).

— edwin

20

Ouvrez un terminal et définissez

gsettings set org.gnome.desktop.interface clock-show-date true

YMMW - cela a fonctionné pour moi sur Fedora 19.

— Martin
source

1

… Et Fedora22!

— Dirk

4

La question est de savoir comment changer le format de la date affichée (par l'horloge et à d'autres endroits), pas comment afficher la date à côté de l'horloge.

— Harry Cutts

Cool, mais malheureusement pas graphique!

— MUY Belgium

Fonctionne également sur Ubuntu 18.04

— xarlymg89

9

En plus de ce que dit Martin, ce qui suit a fonctionné pour moi sur Ubuntu 14.04, où dconf-editor n'a pas:

gsettings set org.gnome.desktop.interface clock-show-date true
gsettings set org.gnome.desktop.interface clock-show-seconds true

— seddy
source

1

Comme pour la réponse de Martin, la question est de savoir comment changer le format de la date affichée (par l'horloge et à d'autres endroits), pas comment afficher la date à côté de l'horloge.

— Harry Cutts

Bon point, en plus j'aurais probablement dû laisser cela comme un commentaire sur la réponse de Martin

— seddy

6

J'ai finalement pu atteindre mon format exactement souhaité en utilisant une extension GNOME faite par Daniel Khodabakhsh. Merci Daniel!

J'ai trouvé cela ici: https://github.com/Daniel-Khodabakhsh/datetime-format

Capture d'écran:

Format:% A | % m-% d-% G | % I:% M% p

— Lonnie Best
source

3

Vous pouvez essayer l'une de ces trois extensions:

Horloge complète

Remplace l'horloge par défaut par une horloge complète indiquant l'heure, la date et le jour de la semaine
Horloge complète 2

Remplace l'horloge par défaut par une montre la date, la semaine, le jour de la semaine et l'heure.
Format Clock (développement interrompu, mais fonctionnant apparemment bien en 3.16)

Modifier le format d'horloge du panneau supérieur.

Il indique que le develpmont a été interrompu, mais je l'ai testé, édité manuellement metadata.jsonpour l'inclure 3.18, et cela fonctionne:

— muru
source

Je ne peux pas en installer, car ils ne semblent pas prendre en charge la 3.18 et il ne semble même pas les télécharger.

@ParanoidPanda Format Clock est sur Github (voir README pour les instructions), et vous pouvez essayer bernaerts.dyndns.org/linux/76-gnome/… pour les autres.

— muru

2

Et il n'y a aucun moyen de modifier des paramètres dconf-editor ou quelque chose pour faire cela plutôt que d'installer quelque chose?

@ParanoidPanda non. Les seuls paramètres que je peux trouver sont juste pour afficher la date.

— muru

2

Réponse partielle:

Bien qu'il ne semble pas que l'horloge du panneau soit facile à formater, le menu du calendrier ouvert en cliquant dessus est très facile. Voici un petit hack:

$ sudo vim /usr/share/gnome-shell/js/ui/dateMenu.js

( vimou tout autre éditeur de texte.)

Recherchez « B %d, %Y» et remplacez-le par « F». Sauvegarder. Appuyez sur Alt+ F2, r, Enter, pour redémarrer le shell.

La recherche dans le répertoire parent en révèle quelques autres qui pourraient valoir la peine d'être expérimentés:

$ rgrep -I '%B' /usr/share/gnome-shell/js/ui/

mais malheureusement, la recherche du nom de mois abrégé dans l'horloge du panneau ne renvoie rien ici:

$ rgrep -I '%b' /usr/share/gnome-shell/

Toutes les modifications apportées à ces fichiers seront probablement écrasées par les mises à jour de Gnome, et vous souhaiterez peut-être conserver les originaux des fichiers que vous modifiez ( sudo mv [name].js [name].js.orig).

— James Haigh
source

Cela vaut également la peine de faire avec calendar.js; il y a 2 lignes pertinentes dans la _showOtherDayfonction.

— James Haigh

1

Sur Ubuntu 19.10:

gsettings set org.gnome.desktop.interface clock-show-weekday true
gsettings set org.gnome.desktop.interface clock-show-seconds true

etc.

Ou exécutez

dconf-editor

et allez à org.gnome.desktop.interface. Vous trouverez clock-show-weekday, clock-show-seconds, clock-show-dateet d' autres.

— GS
source