<div dir="ltr"><div>Hi!</div><div><br></div><div>I think there is no other purpose to install gnome-shell-extensions than to use them in your Gnome env, but installing them does not take care to install also gnome-shell-extension-manager. </div><div><br></div><div>I hope it is not too big of an issue to create extensions packages with dependency for gnome-shell-extension-manager. After installing gnome-shell-extension-gsconnect I always wonder where it should appear and then I have to dig deeper to realize: there must be a gnome-shell-extension-manager installed too. It happens so rarely I can't remember the next time and I am always confused ;)</div><div><br></div><div>Not sure this is the right channel for such a request, but extensions Github did also not suitable for that.</div><div><br></div><div>TIA, </div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">Kõike hääd,<br><br>Gunnar</div></div>