bonjour à tous
os = linux debian stretch maté
affichage de la date et de l'heure
installer dconf-editor
dans dconf-editor en simple user
aller à l'applet horloge
/org/mate/panel/objects/clock/prefs/
mettre
format = custom
puis
custom format = %A %d %B %Y - %Hh %Mm %Ss
donne dans la barre d'applets:
mercredi 27 septembre 2017 - 16h 37m 10s
aussi
j'ai constaté le bug gtk2 gtk3 mentionné là:
https://bugs.launchpad.net/linuxmint/+bug/1642616
et donc j'ai remplacé le paquet mate-system-tools
"Please remove mate-system-tools and install gnome-system-tools (…)