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
~
jonboy60
I’m a Malaysian, my name is Jon Loh (jonboy60) living in Kuala Lumpur and working in Petaling Jaya, Malaysia. Jonboy60.com is a blog magazine about Linux and other open source softwares. All about to a daily jobs or real life experiences I had since the year 2002 administrating Linux and Windows server in a hosting company. Basically i will be offering Linux tips, howto, tricks, latest news and tutorial. Contact Me for Career opportunities, business offers, Linux solutions for business or home, web and email server solutions, Linux consulting and expertise requests. Email to me on jonboy60{@}gmail.com. The site I’m running is VenCouture.com – Malaysia Online Fashion Shopping Boutique, VenCouture. We sell fashion clothes, sexy lingeries, baby clothing and etc.
Follow Me:
