Nas versões anteriores, eu tinha a data exibida. Agora, apenas mostra o dia atual, mas não o número do dia ou o mês.
Existe uma maneira de personalizar mais o relógio ou a bandeja / barra de tarefas no shell GNOME no Ubuntu 17.10 e posterior?
Nas versões anteriores, eu tinha a data exibida. Agora, apenas mostra o dia atual, mas não o número do dia ou o mês.
Existe uma maneira de personalizar mais o relógio ou a bandeja / barra de tarefas no shell GNOME no Ubuntu 17.10 e posterior?
Respostas:
Você pode obter a data exibida na barra superior usando gnome-tweak-tool
. Primeiro abra um terminal com ctrl+ alt+ te instale a ferramenta de ajuste com
sudo apt install gnome-tweak-tool
gnome-tweaks # now launch it
Depois disso, você pode iniciá-lo no seletor de aplicativos (lá o nome é apenas ajustes) e navegar dentro da ferramenta de ajustes até a guia "Barra superior" e ativar Data e segundos (veja a captura de tela).
Embora essa possa ser a abordagem mais fácil para o usuário casual, existe outro método que funciona. Ao emitir o seguinte comando do terminal, você pode definir o mesmo:
# makes the date appear
gsettings set org.gnome.desktop.interface clock-show-date true
# switches the seconds display on
gsettings set org.gnome.desktop.interface clock-show-seconds true
Ao substituir set
por, get
você pode pedir ao sistema para fornecer as configurações reais. Exemplo:
gsettings get org.gnome.desktop.interface clock-show-seconds
gnome-tweak-tool
é realmente um pacote essencial para quem está usando seus computadores por mais de 5 minutos.
gsettings set org.gnome.desktop.interface clock-show-date true
. (Videonauth, por favor considere adicionar o gsettings
/ dconf
método para a resposta.)
Você pode tentar usar uma extensão de shell do GNOME chamada Substituição de relógio . Permite que você
Substitua o relógio do Gnome Shell por um novo formato de hora ou texto de sua escolha.
Ele suporta o strftime
formato do Python .
%F %R