Como altero o formato da data no shell do Gnome 3?

21

Desejo alterar o formato de data / hora no painel superior para um formato próximo à RFC 3339 / ISO 8601, como um destes:

%F %T → 2013-06-24 16:13:00

%F %a %T → 2013-06-24 Seg 16:13:00

%A %F %T → Segunda-feira 2013-06-24 16:13:00

Eu sei que o Unity tem uma preferência em algum lugar oculto no dconf, foi assim que o fiz no Unity, mas não consigo encontrar essa preferência pelo shell do Gnome 3. De preferência, também gostaria de definir uma delas como minha preferência de localidade de data / hora em todo o sistema.

gnome

— James Haigh
fonte

11

possível duplicata de Como configurar o formato da data do relógio para ISO 8601?

— Radu Rădeanu

3

@Radu: O shell do Unity não é o shell do Gnome. Não, é não uma duplicata dessa questão.

— precisa

Infelizmente, gnome-shell é sinônimo de gnome , quando na verdade é apenas uma parte do Gnome 3 que é substituída pelo Unity shell no Ubuntu principal.

— precisa

@edwin: De que maneira? Eu nem tenho essas duas chaves no meu dconf. Talvez você deva testá-lo e, se conseguir, poste uma resposta aqui. Até então, essa pergunta não é duplicada. Como mencionei na pergunta, sei que é possível no Unity, já fiz isso antes, usando essas duas chaves, mas esse é o shell do Gnome. Podemos seguir em frente agora?

— precisa

11

Eu tenho procurado aqui , aqui e aqui . Até agora (pelo menos de acordo com o último 'aqui'), parece que a API foi modificada para que o formato fique dentro do código C / C ++. Quero dizer, não consigo encontrar nada na API JavaScript sobre a WallClockclasse (que você pode usar para alterar o arquivo /usr/share/gnome-shell/js/ui/dateMenu.js).

— Edwin

20

Abra um terminal e defina

gsettings set org.gnome.desktop.interface clock-show-date true

YMMW - isso funcionou para mim no Fedora 19.

— Martin
fonte

11

… E Fedora22!

— Dirk

4

A questão é perguntar como alterar o formato da data exibida (pelo relógio e em outros lugares), não como exibir a data ao lado do relógio.

— Harry Cutts

Legal, mas infelizmente não gráfico!

— MUY Belgium

Também funciona no Ubuntu 18.04

— xarlymg89

9

Além do que Martin diz, o seguinte funcionou para mim no Ubuntu 14.04, onde o dconf-editor não:

gsettings set org.gnome.desktop.interface clock-show-date true
gsettings set org.gnome.desktop.interface clock-show-seconds true

— seddy
fonte

11

Como na resposta de Martin, a pergunta é perguntar como alterar o formato da data exibida (pelo relógio e em outros lugares), não como exibir a data ao lado do relógio.

— Harry Cutts

Ponto justo, além disso, eu deveria ter deixado isso como um comentário sobre a resposta de Martin

— Seddy

6

Eu finalmente consegui alcançar o formato exatamente desejado usando uma extensão do GNOME feita por Daniel Khodabakhsh. Obrigado Daniel!

Encontrei isso aqui: https://github.com/Daniel-Khodabakhsh/datetime-format

Captura de tela:

Formato:% A | % m-% d-% G | %Criança levada

— Lonnie Best
fonte

3

Você pode tentar uma destas três extensões:

Relógio completo

Substitui o relógio padrão por um completo, mostrando hora, data e dia da semana
Relógio completo 2

Substitui o relógio padrão por um mostrando data, semana, dia da semana e hora.
Format Clock (desenvolvimento descontinuado, mas aparentemente funcionando bem na versão 3.16)

Alterar o formato do relógio do painel superior.

Ele diz que o develpmont foi descontinuado, mas eu o testei, editando manualmente metadata.jsonpara incluir 3.18e funciona:

— muru
fonte

Não consigo instalar nenhum deles porque eles parecem não suportar a versão 3.18 e nem parece baixá-los.

O Relógio no formato @ParanoidPanda está no Github (consulte o README para obter instruções) e você pode tentar bernaerts.dyndns.org/linux/76-gnome/… para os outros.

— muru

2

E não há como alterar as configurações dconf-editor ou algo para fazer isso, em vez de instalar algo?

@ParanoidPanda nope. As únicas configurações que encontro são apenas para mostrar a data.

— Muru

2

Resposta parcial:

Embora não pareça fácil de formatar o relógio do painel, o menu do calendário aberto clicando nele é muito fácil. Aqui está um hack rápido:

$ sudo vim /usr/share/gnome-shell/js/ui/dateMenu.js

( vimou qualquer outro editor de texto.)

Procure por ' B %d, %Y' e substitua por ' F'. Salve . Imprensa Alt+ F2, r, Enter, para reiniciar o shell.

A pesquisa no diretório pai revela alguns outros que podem valer a pena experimentar:

$ rgrep -I '%B' /usr/share/gnome-shell/js/ui/

mas, infelizmente, a busca pelo nome abreviado do mês no relógio do painel não retorna nada aqui:

$ rgrep -I '%b' /usr/share/gnome-shell/

Qualquer alteração nesse arquivo provavelmente será sobrescrita pelas atualizações do Gnome, e você poderá manter os originais dos arquivos que editar ( sudo mv [name].js [name].js.orig).

— James Haigh
fonte

Vale a pena fazer calendar.jstambém; existem 2 linhas relevantes na _showOtherDayfunção.

— James Haigh

1

No Ubuntu 19.10:

gsettings set org.gnome.desktop.interface clock-show-weekday true
gsettings set org.gnome.desktop.interface clock-show-seconds true

etc.

Ou , execute

dconf-editor

e vá para org.gnome.desktop.interface. Você vai encontrar clock-show-weekday, clock-show-seconds, clock-show-datee outros.

— GS
fonte