Mijn vraag hoort toch in de rubriek software en configuratie thuis, of heb ik het verkeerd?
Sorry, dit was een reactie op de bijdrage van EvC. Jou vraag zit zeker in het juiste draadje
Geïnstalleerd zijn
1. chrome-gnome-shell in Ubuntu en
2. Gnome-shell integratie in FF (zie https://www.omgubuntu.co.uk/install-gnome-extensions-on-ubuntu)
Aangezien dit de voorwaarden zijn om de extensie te kunnen installeren moet er iets anders aan de hand zijn.
Dat kan je nu wel zeggen, maar de
schermafdruk die je toont toont alvast aan dat minstens de Gnome-Shell integratie in FF niet (correct?) geïnstalleerd is.
Soit. als je dit niet aan de praat krijgt, dan manuele installatie van het zip bestand ook mogelijk. Het volstaat echter niet de uitgepakte folder in ~/.local/share/gnome-shell/extensions te droppen. Je moet ook nog even die uitgepakte folder hernoemen naar de uuid die in het bestand metadata.json te zien is.
Beter wellicht, is gebruik te maken van een commando dat standaard geïnstalleerd is:
cd ~/Downloads
gnome-extensions install -f lockkeysvaina.lt.v45.shell-extension.zip
(dit onderstelt dat het zip bestand zich in de Downloads folder bevindt. De "-f" optie zal een eventueel bestaande installatie overschijven. Eens uitloggen en weer inloggen opdat de extensie gezien wordt en verschijnt in "Tweaks" of, in recentere versies, "Extensions".