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.

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

Respostas:

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: insira a descrição da imagem aqui

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

Lonnie Best
fonte
3

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

  • Relógio completo

    insira a descrição da imagem aqui Substitui o relógio padrão por um completo, mostrando hora, data e dia da semana

  • Relógio completo 2

    insira a descrição da imagem aqui 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)

    insira a descrição da imagem aqui 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:

    insira a descrição da imagem aqui

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