GNOME Panel affiche le temps avec le format 24h/24, mais je veux le changer en AM/PM.
Aller à Paramètres système (dans le menu global) et sélectionnez Date et heure . Utilisez le menu déroulant sur Format de l'heure pour sélectionner AM/PM :
ou tirer dessus dconf-editor
, aller à org/gnome/desktop/interface/clock-format
et éteindre Use default value
puis définissez Custom value
à 12h
:
Via terminal, courir
gsettings set org.gnome.desktop.interface clock-format 12h
Une personnalisation supplémentaire du format de date/heure peut être effectuée via gnome-Shell
Extensions, voir la réponse de Daniel ici .
Novembre 2018, j'étais sur le point d'utiliser votre méthode de commande de commande Nature-an-réponse, DCONF-Editor, car la date et l'heure ne sont pas dans le système de paramètres maintenant. J'ai regardé autour d'un peu plus, et j'ai trouvé la date et l'heure dans les détails. "Détails" enterre le format de date et d'heure Deuce dans les détails, IMHO. J'avais abandonné, jusqu'à ce que tu m'as jeté l'appât qui m'a fait bouger et chercher le cadre à nouveau.
J'ai vérifié DConf-Editor. Ce n'était pas ici. Sudo apt-get install dconf-editor
ALORS: Org, gnome, bureau, interface, horloge Format: Cliquez sur "12 heures" ou "24 heures", choisissez la liste déroulante de deux choix, 12 heures et 24 heures.
dCONF-Editor a ajouté quelque chose. Il a notifié que la re-lecture des menus dans le système devait encore être faite, même si j'avais apporté une modification avant cela dans Paramètres.Détails.dateandeTime.