O painel do Gnome exibe a hora com formato de 24 horas, mas eu quero alterá-la para am / pm.
Vá para Configurações do sistema (no menu agregado) e selecione Data & Tempo . Use o menu suspenso em Formato da hora para selecionar AM / PM :
ouiniciedconf-editor,váparaorg/gnome/desktop/interface/clock-formatedesativeUsedefaultvaluee,emseguida,definaCustomvaluepara12h:
Atravésdoterminal,execute
gsettingssetorg.gnome.desktop.interfaceclock-format12hMaispersonalizaçõesdoformatodedata/horapodemserfeitasviagnome-shellextensions,veja
Em novembro de 2018, eu estava prestes a usar seu método de linha de comando ainda-de-resposta, dconf-editor, porque Data e Hora não estão no Sistema de Configurações agora. Olhei em volta um pouco mais e encontrei Data e Hora em Detalhes. "Detalhes" está enterrando o formato de data e hora deuce nos detalhes, IMHO. Eu tinha desistido, até que você me jogou a isca que me fez mover e procurando a configuração novamente.
Eu verifiquei o editor do dconf. Não foi aqui. sudo apt-get install dconf-editor then: org, gnome, área de trabalho, interface, formato do relógio: clique em "12 horas" ou "24 horas", escolha na lista suspensa de duas opções, 12 horas e 24 horas.
O dconf-editor adicionou algo. Ele notificou que a releitura dos menus no sistema ainda precisava ser feita, embora eu tivesse feito uma alteração antes disso em Settings.Details.DateAndTime.
Tags gnome gnome-shell clock