Certaines extensions gnome shell sont KO

Bonjour,
Je me rend compte l’extension clipboard-indicatortudmotu.com.v3, ne fonctionne plus. Gnome est en version 42. ça le fait chez vous?

Sur un autre poste sous ubuntu 20.04, il y a une extension, folder-color bien sympa qui permet de personnaliser la couleur des icones. Quelle version installer?

merci

Cela a cessé de fonctionner chez moi aussi.

En revanche, celle ci fonctionne en Gnome 42:

https://extensions.gnome.org/extension/4422/gnome-clipboard/

Celle ci, je ne connais pas.

ps. désolé pour mon français désastreux :blush:

1 Like

Thank you,
I uncompressed the zip and copy it to ./home/jeanpat/.local/share/gnome-shell/extensions/

$ ls -l
total 8
drwxr-xr-x 3 jeanpat jeanpat 4096 25 avril 20:30 drive-menugnome-shell-extensions.gcampax.github.com.v49.shell-extension
drwxr-xr-x 4 jeanpat jeanpat 4096 26 avril 15:44 gnome-clipboardb00f.github.io.v10.shell-extension

But I can’t see any icon related to a clipboard:

1 Like

I have just renamed its folder:

gnome-clipboard@b00f.github.io

according to its uuid that you find in the metadata.json:

{
“_generated”: “Generated by SweetTooth, do not edit”,
“description”: “A gnome shell extension to manage your clipboard.”,
“gettext-domain”: “gnome-clipboard”,
“name”: “Gnome Clipboard”,
“shell-version”: [
“40”,
“41”
],
“url”: “https://github.com/b00f/gnome-clipboard”,
“uuid”: “gnome-clipboard@b00f.github.io”,
“version”: 10
}

Then I needed to logout and back in and enable it in the Extension app.

With that said, I did exactly the same on another Arch-Gnome installation but then it didn’t work there. I can’t explain why.

Thanks for your time,

Unfortunately, here it doesn’t fix

1 Like

Sorry, for wasted time, I found a solution as follow:
In a terminal, type:
$ gnome-extensions-app
then just check
image

The extension is available
image