Como ajusto o formato do relógio digital do GNOME em um formato personalizado avançado? [duplicado]

Question

O relógio digital do GNOME a que me refiro está indicado nesta imagem:
(A imagem mostra a data / hora como "Sáb 12:49 PM".)

Este é o formato personalizado avançado que eu gostaria que o relógio digital do GNOME tivesse:

%l:%M:%S %p %A, %e %B %Y

No momento, esse formato resultaria em:

1:05:10 pm Saturday, 26 December 2015

Se eu precisasse instalar uma extensão extra para obter esse formato personalizado, estou disposto a fazê-lo. Por favor, me diga o nome da extensão que eu precisaria e como instalá-lo.

    

Answer 1

Um pouco tarde, eu sei, mas encontrei uma maneira de fazer isso. (Isso requer, no entanto, uma extensão - com modificação - para funcionar).

Esteéoguiapassoapasso:

1. Instaleaextensão"Alterar formato de relógio" (por silvioricardoc ) link
2. Altere para o seguinte diretório: ~/.local/share/gnome-shell/extensions/FixClock@silvioricardoc/
3. Abra o arquivo extension.js com seu editor favorito.
4. Na parte superior do arquivo, você deve encontrar uma definição para uma variável chamada panelClockFormat
5. Você pode alterar isso para o formato desejado (como você pode ver no meu formato, você também pode usar JavaScript no seu formato).
6. Salve o arquivo e pressione Alt + F2 , simplesmente digite r e pressione Enter .

OBSERVAÇÃO: Se o diretório de extensões não funcionar, talvez seja necessário tentar este: /usr/share/gnome-shell/extensions/FixClock@silvioricardoc/extension.js