Contenu | Rechercher | Menus

Annonce

La nouvelle clé USB Ubuntu-fr est en prévente
Rendez-vous sur la boutique En Vente Libre

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 14/03/2012, à 12:49

Gaara

[résolu] Modifier le format de la date sur gnome-shell

Bonjour

j'ai une question à 2 francs pour optimiser mon ubuntu-gnome-shell tout neuf...
le format de la date qui s'affiche en haut est sous la forme: merc. mars 14, 11:44 et j'aimerais le voir sous la forme: merc. 14 mars, 11:44

J'ai donc cherché un peu, trouvé cette adresse, mais rien pour ma config... en effet mon fichier /usr/share/gnome-shell/js/ui/panel.js ne possède pas de variable "this._clock.set_text", donc je ne peux rien changer.

Quelqu'un a-t-il une idée?

Dernière modification par gaara92 (Le 14/03/2012, à 19:36)


Kubuntu 18.04 x64
Un terminal tactile Raspberry Pi et Odroid

                                        <code>zenity  --question --title "Alert"  --text "Microsoft Windows has been found! Would you like to remove it?"</code>

Hors ligne

#2 Le 14/03/2012, à 16:55

malbo

Re : [résolu] Modifier le format de la date sur gnome-shell

Il faut avoir installé le paquet gnome-tweak-tool : http://doc.ubuntu-fr.org/gnome-shell#gnome_tweak_tool
Ensuite, on peut lancer gnome-tweak-tool (Applications > Advanced settings), et dans "Shell", il faut activer "Show date in clock" et moi je vois en ce moment :

mer. 14 mars, 15:54

ça fonctionne comme ça sous Ubuntu 11.10 et aussi sous Ubuntu 12.04 (en développement)
Pourquoi ça ne s'affiche pas correctement chez toi, je n'en sais rien.

Edit : en ce qui me concerne, je vois dans Synaptic que l'origine de mon paquet gnome-shell est : "oneiric-update/universe" et l'origine de mon paquet gnome-tweak-tool est : "oneiric/universe"
Je donne ces précisions parce qu'il est possible que tu n'aies pas la même origine que moi pour ces paquets et que leur contenu (et leur fonctionnement) soit un peu différent.

Dernière modification par malbo (Le 14/03/2012, à 17:08)


Les gens de la ville : "Qu'est-ce que vous comptez faire de votre coq ?"

Hors ligne

#3 Le 14/03/2012, à 18:35

Gaara

Re : [résolu] Modifier le format de la date sur gnome-shell

merci pour ta réponse malbo
étonnant car j'ai bien installé le gnome-tweak-tool (avec le bouton d'activé) , et en regardant les dépôts, c'est bien "oneiric/universe"...
selon toi j'aurais une version anglophone d'un paquet qui gère le gnome-shell ? je regarderais ça d'un peu plus près.
sinon, une autre idée?


Kubuntu 18.04 x64
Un terminal tactile Raspberry Pi et Odroid

                                        <code>zenity  --question --title "Alert"  --text "Microsoft Windows has been found! Would you like to remove it?"</code>

Hors ligne

#4 Le 14/03/2012, à 19:00

malbo

Re : [résolu] Modifier le format de la date sur gnome-shell

Quelle est l'origine de ton paquet gnome-shell (chez moi, c'est "oneiric-update/universe") ?
Et mon paquet gnome-shell est en version 3.2.2.1-0ubuntu1


Les gens de la ville : "Qu'est-ce que vous comptez faire de votre coq ?"

Hors ligne

#5 Le 14/03/2012, à 19:06

Major Grubert

Re : [résolu] Modifier le format de la date sur gnome-shell

gaara92 a écrit :

Quelqu'un a-t-il une idée?

Heureusement qu'il y a un wiki sur Gnome qui contient des astuces, dont celle là.


Pour en savoir plus sur Gnome Shell.
. HP Pavilion  : Windows / Ubuntu 18.10

Hors ligne

#6 Le 14/03/2012, à 19:36

Gaara

Re : [résolu] Modifier le format de la date sur gnome-shell

Parfait! J'ai réussi à modifier ce fichier:

sudo gedit /usr/share/gnome-shell/js/ui/dateMenu.js

et en inversant deux valeurs, c'est exactement ce que je cherchais.

et effectivement, l'origine du paquet "gnome-shell" est différent du tiens Malbo: il vient du ppa-gnome3-team-gnome3/oneiric, version 3.2.2.1-0ubuntu1~oneiric1
ceci explique-t-il cela.

Je met donc ce fil [résolu], merci à vous deux


Kubuntu 18.04 x64
Un terminal tactile Raspberry Pi et Odroid

                                        <code>zenity  --question --title "Alert"  --text "Microsoft Windows has been found! Would you like to remove it?"</code>

Hors ligne

#7 Le 14/03/2012, à 19:52

malbo

Re : [résolu] Modifier le format de la date sur gnome-shell

gaara92 a écrit :

et en inversant deux valeurs, c'est exactement ce que je cherchais.

Tu pourrais détailler le truc sur l'extrait concerné du fichier sur lequel tu es intervenu ? Parce que j'ai essayé de comprendre comment il était foutu ce fichier mais je n'ai pas su identifier les champs en question.


Les gens de la ville : "Qu'est-ce que vous comptez faire de votre coq ?"

Hors ligne

#8 Le 14/03/2012, à 20:13

Gaara

Re : [résolu] Modifier le format de la date sur gnome-shell

ben j'ai comparé les deux codes, et il me semble que j'ai inversé %e et %b
ce qui donne

case '24h':
                if (showDate)
                    /* Translators: This is the time format with date used
                       in 24-hour mode. */
                    clockFormat = showSeconds ? _("%a %e %b, %R:%S")
                                              : _("%a %e %b, %R");
                else
                    /* Translators: This is the time format without date used
                       in 24-hour mode. */
                    clockFormat = showSeconds ? _("%R:%S")
                                              : _("%R");
                break;

j'ai inversé aussi %e et %A, un peu plus bas:

        dateFormat = _("%A %e %B, %Y");
        this._date.set_text(displayDate.toLocaleFormat(dateFormat));

ainsi, en cliquant sur le calendrier, la date s'affiche pareil.


Kubuntu 18.04 x64
Un terminal tactile Raspberry Pi et Odroid

                                        <code>zenity  --question --title "Alert"  --text "Microsoft Windows has been found! Would you like to remove it?"</code>

Hors ligne

#9 Le 14/03/2012, à 20:49

malbo

Re : [résolu] Modifier le format de la date sur gnome-shell

Ben dis donc, c'est pas évident du tout. Merci pour le complément d'infos.


Les gens de la ville : "Qu'est-ce que vous comptez faire de votre coq ?"

Hors ligne

#10 Le 14/03/2012, à 21:34

Major Grubert

Re : [résolu] Modifier le format de la date sur gnome-shell

malbo a écrit :

Tu pourrais détailler le truc sur l'extrait concerné du fichier sur lequel tu es intervenu ? Parce que j'ai essayé de comprendre comment il était foutu ce fichier mais je n'ai pas su identifier les champs en question.

Le wiki n'est pas clair ?


Pour en savoir plus sur Gnome Shell.
. HP Pavilion  : Windows / Ubuntu 18.10

Hors ligne