I just had a look and I think I edited “metadata.json” for every extension in “$HOME/.local/share/gnome-shell/extensions/”. I got it from this tutorial.
Yeah I once waited but I think it took multiple months for each maintainer to update. I don’t blame them tho. They update their projects when they can. I just wish it would not necessarily break since it apparently doesn’t really need to be broken.
I just had a look and I think I edited “metadata.json” for every extension in “$HOME/.local/share/gnome-shell/extensions/”. I got it from this tutorial.
Yeah I once waited but I think it took multiple months for each maintainer to update. I don’t blame them tho. They update their projects when they can. I just wish it would not necessarily break since it apparently doesn’t really need to be broken.
It depends. Sometimes there are major changes, which would need changes. But most of the time, yes, it’s not necessary.