Como alterar formato de data no Ubuntu/Gnome?

Olá!
Estou usando Ubuntu 19.04 com o idioma em inglês e o formato regional em português do Brasil, contudo a data na barra superior fica com o formato a mm/dd (seg ago 13 18:00:00).
Daí eu tenho 3 perguntas:

  1. Há como mudar o formato para dd/mm, ex.: (seg 13 ago 18:00:00) sem mudar o idioma?
  2. Há como adicionar o ano também, ex.: (seg 13 ago 2020 18:00:00)?
  3. Tem como deixar as iniciais maiúsculas, ex.: (Seg 13 Ago 2020 18:00:00)?

A mais importante é a primeira, as demais é apenas por curiosidade.
print

Grato!

Você pode utilizar a extensão Clock Override
https://extensions.gnome.org/extension/1206/clock-override/

para configuração veja aqui
https://developer.gnome.org/glib/stable/glib-GDateTime.html#g-date-time-format

1 Curtida

Deu certo! E dá ainda mais opções. Consegui deixar como eu queria.
Obrigado!
printscreen