Howto modify gnome shell date format
GNOME shell has been very stable for me and the user experience has been mostly good. Still feels a little missing compared to what I was used gnome 2.30. The irritating part so far is that the clock on the shell is using the luddite AM/PM time system instead of the proper 24H clock
How and where to fix it.?
This is an ugly, temporary hack, but tested on the Fedora 13 (i think others older version also the same), I directly modified /usr/share/gnome-shell/js/ui/panel.js with this:
From original:
this._clock.set_text(displayDate.toLocaleFormat(_(“%a %l:%M %p”)));
into:
this._clock.set_text(displayDate.toLocaleFormat(_(“%a %d %b %Y %H:%M %p”)));
So, right now, I get
Thu 08 July 2010 09:48
Then on the desktop type:
alt+F2
and then type:
r
or just reboot
~
