Eu criei uma extensão gnome-shell para alterar o formato datetime da barra de status e do menu de data: link
Estou procurando mudar a formatação em dois lugares:
Na área de trabalho, a data / hora é "Sáb 21:05". Eu gostaria de ler "23-Jul-11 21:05" ou "23 Jul 11 21:05". Em outras palavras, quero alterar a exibição do dia da semana para exibir o dia, o nome do mês curto e o ano curto.
Na tela de login, a data / hora indica "Sáb 21:06". Eu gostaria de mudá-lo para o mesmo que o desktop ("23-Jul-11 21:05" ou "23 jul 11 21:05") ou a exibição preferencial da data completa no formato ("Sábado, 23 Julho de 2011 às 21:05 ") onde o dia inteiro, a data, o mês completo, o ano completo e a hora (no formato de 24 horas) são exibidos.
Não vejo opções para ajustar isso. Eu suspeito que seja possível, mas não tenho certeza de qual arquivo de configuração ele estaria ou de quais opções eu ajustaria.
Eu criei uma extensão gnome-shell para alterar o formato datetime da barra de status e do menu de data: link
No Gnome3 você tem duas opções (nenhuma delas, pelo que sei, atualmente fará tudo o que você está procurando):
1 Use a ferramenta de linha de comando gsettings :
$ gsettings set org.gnome.shell.clock show-date true2 Instale a Ferramenta Gnome Tweak e ative a data dessa maneira.
Parece que opções mais personalizáveis ainda não foram implementadas.
Tags gnome time gnome-shell date gnome3