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

Je souhaite modifier le format de date / heure sur le panneau supérieur en un format proche de RFC 3339 / ISO 8601, comme l’un de ces formats

%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 que Unity a une préférence quelque part cachée dans dconf, c’est ce que j’ai fait dans Unity, mais je ne trouve pas une telle préférence pour le shell Gnome 3. De préférence, j’aimerais également définir l’un d’entre eux comme préférence de lieu / date pour l’ensemble du système.

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.

En plus de ce que dit Martin, les éléments suivants ont fonctionné pour moi sur Ubuntu 14.04, contrairement à dconf-editor:

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

Vous pouvez essayer l’une de ces trois extensions:

  • Horloge complète

    entrez la description de l'image ici 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

    entrez la description de l'image ici Remplace l’horloge par défaut par une autre indiquant la date, la semaine, le jour de la semaine et l’heure.

  • Format Clock (développement arrêté, mais fonctionne apparemment bien en 3.16)

    entrez la description de l'image ici Changer le format de l’horloge du panneau supérieur.

    Il est indiqué que le develpmont a été arrêté, mais je l’ai testé en modifiant manuellement metadata.json pour inclure 3.18 , et cela fonctionne:

    entrez la description de l'image ici

J’ai finalement réussi à obtenir le format souhaité avec une extension GNOME réalisée par Daniel Khodabakhsh. Merci Daniel!

J’ai trouvé ça ici: https://github.com/Daniel-Khodabakhsh/datetime-format

Capture d’écran: entrez la description de l'image ici

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

Réponse partielle:

Bien que l’apparence de l’horloge du panneau ne soit pas 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 

( vim ou tout autre éditeur de texte.)

Recherchez ‘ B %d, %Y ‘ et remplacez-le par ‘ F ‘. Sauvegarder. Appuyez sur Alt + F2 , r , Entrée 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 abrégé du mois dans l’horloge du panneau ne renvoie rien ici:

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

Toute modification apscope à ces fichiers sera probablement remplacée par les mises à jour de Gnome et vous voudrez peut-être conserver les originaux des fichiers que vous éditez ( sudo mv [name].js [name].js.orig ).