J'utilise depuis peu Ubuntu 20.04, et je souhaite personnaliser le format de la date et de l'heure (sous Windows, je pourrais l'écrire en utilisant une "chaîne formatée" comme %YYY-%MM-%day). Je fais référence à l'horloge en haut du panneau.
J'ai trouvé une extension gnome Shell (Format Clock), mais elle n'est pas compatible avec les versions de gnome-Shell >= 3.14, et j'ai la 3.36.2. Je voudrais personnaliser le format différemment des options disponibles dans la liste de Region & Language. Comment puis-je faire cela ?