I'm using GNOME Shell 3.22.3 on Debian GNU/Linux 9 (stretch).

I've edited the settings for the way time and date is displayed in the Status bar using the excellent Datetime format extension. However, I haven't been able to find any way to configure the way the time and date is displayed when I lock the computer. It's always:


weekday, DD month

I suppose this is set by my locale somehow, as the weekday is indeed displayed in my local language as set for the OS.

I'd like to change this, for example removing the leading zero. Is there any way of doing this?

  • 1
    The date format is hardcoded in js/ui/screenShield.js: let dateFormat = Shell.util_translate_time_string(N_("%A, %B %d")); so you cannot change it unless you're willing to write a shell extension... – don_crissti Dec 4 '18 at 21:51
  • 1
    I see. I'm wondering why they hardcoded the date to display with a comma after the weekday, which is incorrect in my language. Oh, well. Nothing to do about it then, I guess. And @K7AAY, I will do so, thank you. – psw Dec 4 '18 at 22:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.