Custom Gnome Shell clock format?
1 Attachment(s)
Hi,
I'm using Gentoo and Gnome Shell, and I have a very large monitor. Since space in the menu bar is not an issue, I would like the clock to read "Monday April 16, 12:04 AM" instead of "Mon Apr 16, 12:04 AM". In my opinion you'd ought to be able to change the clock format in the "Date and Time Settings" window, or at least using gsettings. That's not the case, though, as far as I can tell. I assume that all I have to do is change "%a %b %d, %I:%M %p" to "%A %B %d, %I:%M %p" in some file somewhere, but I can't find it. I've looked through my system for files that might be related to the Gnome Shell clock or localization settings, and spent a few hours Googling things, with no luck. I'd appreciate any information anyone has on how to change the clock, or on why it isn't as easy as it should be. I haven't used these forums much, so please let me know if I've done anything incorrectly. Thanks |
Hi,
I found it in Code:
/usr/share/gnome-shell/js/ui/dateMenu.js Code:
switch (format) { I modified the time with date but no seconds in 24 hour mode. It may just be my machine, but it took a loooong time for the shell to restart using Alt+F3 and r It took about 30 seconds :( |
Quote:
That did it! I had found that folder, but I overlooked dateMenu.js. My shell restarted without an unusual delay. Thanks a lot. |
GnomeShell - Set date in Italian format
Should any Italians stumble upon this thread, to set the date in Italian format all you need to do is:
- (just for safety) make a copy of the file dateMenu.js: Code:
sudo cp /usr/share/gnome-shell/js/ui/dateMenu.js /usr/share/gnome-shell/js/ui/dateMenu.jsBAK Code:
sudo gedit /usr/share/gnome-shell/js/ui/dateMenu.js Code:
clockFormat = showSeconds ? _("%a %b %e, %R:%S") Code:
clockFormat = showSeconds ? _("%A %e %B %Y, %R:%S") I hope it's useful! |
All times are GMT -5. The time now is 02:58 AM. |