GNOME 3: Changing datetime format for lock screen?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












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:




HH:MM:SS



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?










share|improve this question



















  • 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 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 at 22:25














up vote
1
down vote

favorite












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:




HH:MM:SS



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?










share|improve this question



















  • 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 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 at 22:25












up vote
1
down vote

favorite









up vote
1
down vote

favorite











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:




HH:MM:SS



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?










share|improve this question















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:




HH:MM:SS



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?







linux gnome gnome3






share|improve this question















share|improve this question













share|improve this question




share|improve this question








edited Dec 4 at 22:25

























asked Dec 4 at 20:51









psw

64




64







  • 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 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 at 22:25












  • 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 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 at 22:25







1




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 at 21:51




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 at 21:51




1




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 at 22:25




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 at 22:25















active

oldest

votes











Your Answer








StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "106"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: false,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: null,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













draft saved

draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2funix.stackexchange.com%2fquestions%2f485997%2fgnome-3-changing-datetime-format-for-lock-screen%23new-answer', 'question_page');

);

Post as a guest















Required, but never shown






























active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes















draft saved

draft discarded
















































Thanks for contributing an answer to Unix & Linux Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid


  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.

To learn more, see our tips on writing great answers.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • Please be sure to answer the question. Provide details and share your research!

But avoid


  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.

To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2funix.stackexchange.com%2fquestions%2f485997%2fgnome-3-changing-datetime-format-for-lock-screen%23new-answer', 'question_page');

);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown






Popular posts from this blog

How to check contact read email or not when send email to Individual?

Bahrain

Postfix configuration issue with fips on centos 7; mailgun relay