GNOME 3:ロック画面の日付時刻形式を変更しますか?

GNOME 3:ロック画面の日付時刻形式を変更しますか?

私はDebian GNU / Linux 9(stretch)でGNOME Shell 3.22.3を使用しています。

優れた日付時刻形式拡張機能を使用して、ステータスバーに時刻と日付が表示される方法の設定を編集しました。ただし、コンピュータがロックされているときに時間と日付がどのように表示されるかを構成する方法が見つかりません。いつもそうです。

分と秒

曜日、DD月

平日はOSで設定したローカル言語で表示されるため、これが私のロケールによって設定されたようです。

たとえば、先行ゼロを削除するなど、これを変更したいと思います。これを行う方法はありますか?

関連情報