Sorry, maar het is niet duidelijk wat ik juist moet doen en hoe!
De extensie
Clock Override kan je niet uit het software centrum installeren. Eerst moet je enkele ingrepen doen om op je computer extensies van de
Gnome Shell extensie website te installeren. Ik ga ervan uit dat je de standaard Firefox browser gebruikt.
1) Installeer het pakket "chrome-gnome-shell" via Synaptic Package manager of, vlugger, met het volgende terminal commando:
sudo apt install chrome-gnome-shell
2) Installeer de addon "Gnome Shell Integration" voor je browser. In Firefox, klik het hamburger menu (rechts boven onder de sluit-het-venster-knop), klik "Add-ons", en in de "Add-ons Manager" tab die verschijnt, zoek "gnome shell integration". Installeer die add-on.
3) Sluit de browser helemaal af en start terug op. Ga nu naar
https://extensions.gnome.org/. Zoek daar "Clock Override" en klik op "Clock Override by .ext". Door de ingrepen die je in stap 1) en 2) hebt gedaan, zie je een knop "Off". Klik die zodat de knop op "On" komt. Nu zal de extensie automatisch geïnstalleerd worden.
4) Dan moet je de extensie nog configureren. Dit kan je doen op dezelfde webpagina: na installatie krijg je een blauw icoontje met sleutels. Klik dat, en je krijgt de gelegenheid de string in te voeren die het gewenste formaat van de tijd aangeeft, bijvoorbeeld '%a, %d %b %Y - %H:%M:%S'.
De extensie aan en afzetten, en configureren, kan je ook doen met Gnome Tweaks, op het tab blad "Extensions". Dit gereedschapje kan je installeren uit het software centrum. Gnome Tweaks laat toe nog heel wat andere instellingen van je desktop aan te passen.