Personnaliser le format de l'heure et de la date dans le panneau Gnome Ubuntu 18.04
Ce didacticiel rapide montre comment modifier le format de l'heure et de la date dans le panneau de bureau Gnome par défaut d'Ubuntu 18.04.
Depuis qu'Ubuntu est passé au bureau Gnome 3, vous ne pouvez plus utiliser l'éditeur dconf pour personnaliser le format de l'horloge. Au lieu de cela, une extension Gnome Shell peut faire le travail.
1. Ouvrez le logiciel Ubuntu, recherchez et installez l'extension Clock Override.
2. Une fois installé, lancez les paramètres depuis la page d'installation ou utilisez Gnome Tweaks -> Extensions.
3. Lorsque la page des paramètres s'ouvre, saisissez dans la case pour modifier le format de l'heure.
Voici quelques codes :
- %a=nom abrégé du jour de la semaine
- %A=nom complet du jour de la semaine
- %b=nom du mois abrégé
- %B=nom complet du mois
- %d=jour du mois
- %H=heure (00..23)
- %M=minutes (00..59)
- %p=AM ou PM, %P=matin ou après-midi.
- %S=seconde (00..59)
Pour une liste complète du code, exécutez man date dans le terminal :
