Pro tip: I’d first look into the extensions your distro supplies via the package manager.
For example, on Debian there’s gnome-shell-extensions-extra, which includes V-Shell, an extension that lets you customize almost everything.
By installing extensions through your package manager, they don’t break with a Gnome update.
There may be an extension that you can use.
Can’t find one
“Just Perfection” to the rescue
Pro tip: I’d first look into the extensions your distro supplies via the package manager.
For example, on Debian there’s gnome-shell-extensions-extra, which includes V-Shell, an extension that lets you customize almost everything.
By installing extensions through your package manager, they don’t break with a Gnome update.
That is indeed a pro tip, thx!
I’m on immutable distros, menaing I can’t or shouldn’t do it :l
This is the one. One of my favorite and necessary extensions for me