Closed thebitstick closed 5 years ago
This extension only works with the clock at the top of GNOME. I'll not add specific settings for changing the locale for only this one part of the desktop.
You can set the date and time locale on your system by changing the LC_TIME
environmental variable on your system, however. Here are instructions for changing this on Ubuntu. Instructions vary by distro and you'll probably find instructions for your distribution elsewhere online.
${m[%-m]} %d ${w[%w]} %R
. ${m[%-m]}
is the month and ${w[%w]}
is the day of the week.const w = new Array('Sun.', 'Mon.', 'Tue.', 'Wed.', 'Thu.', 'Fri.', 'Sat.');
const m = new Array('', 'Jan.', 'Feb.', 'Mar.', 'Apr.', 'May', 'Jun.', 'Jul.', 'Aug.', 'Sep.', 'Oct.', 'Nov.', 'Dec.');
var FORMAT = settings.get_string("override-string");
to
var FORMAT = "`" + settings.get_string("override-string") + "`";
var desired = Format.format(FORMAT, now);
to
var desired = eval(Format.format(FORMAT, now));
r
, and press Enter to restart gnome-shell.Note that this change will be reset when the Clock override is updated.
I want the ability to have my GNOME in one language and my clock in another. Is that possible for an extension to do?