Pages : 1
#1 Le 14/03/2012, à 11: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, à 18: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, à 15: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, à 16:08)
Hors ligne
#3 Le 14/03/2012, à 17: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, à 18: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
Hors ligne
#5 Le 14/03/2012, à 18:06
- Major Grubert
Re : [résolu] Modifier le format de la date sur gnome-shell
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 19.10
Hors ligne
#6 Le 14/03/2012, à 18: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, à 18:52
- malbo
Re : [résolu] Modifier le format de la date sur gnome-shell
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.
Hors ligne
#8 Le 14/03/2012, à 19: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, à 19: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.
Hors ligne
#10 Le 14/03/2012, à 20:34
- Major Grubert
Re : [résolu] Modifier le format de la date sur gnome-shell
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 19.10
Hors ligne
Pages : 1