Shell extension won't install

Everything about X, Gnome, KDE, ... and everything running on it

Shell extension won't install

Postby Onsemeliot » 2017-07-05 08:05

I just wanted to add a Gnome extension to hide the title bar in normal view. Because Firefox has obviously stopped supporting the Gnome extension code I had to install Chromium, but even if I get the switch on/off browser buttons there the button just switches back after I started the installation process with it. I do not get an error. Is this something to be checked at Debian level or should I try to find help from the Gnome project?
User avatar
Onsemeliot
 
Posts: 144
Joined: 2010-12-15 14:43

Re: Shell extension won't install

Postby pylkko » 2017-07-05 09:13

I don't know if it is what you want but there is a package in Debian itself that is called gnome-shell-extension-autohidetopbar that
Code: Select all
 GNOME shell automatic topbar hider

This gnome-shell extension automatically hides the topbar, except in overview. There is also an option to show the topbar when the mouse pointer approaches the edge of the screen.

Please note that you have to manually enable the extension, for example using gnome-tweak-tool


If you install an extension from outside of Debian, from Gnome's own website or some such thing, you have to make sure that the extension was designed for gnome 3.22 that Debian comes with. I believe the browser applet just installs it for you, but you can always manually download the zip and install it from gnome's "extra settings", also known as gnome-tweak-tool.

If you already installed it, but it does not work, it also might be that it requires you to restart Gnome. I believe this is the case with some extensions.
User avatar
pylkko
 
Posts: 1043
Joined: 2014-11-06 19:02

Re: Shell extension won't install

Postby Zjho » 2017-07-05 13:36

Still able to manage Gnome shell extensions with Firefox for Stretch here.
On Firefox start-up, prompted by clicking the Get More Extensions button in Tweak Tool, there is a Firefox window that asks if it is okay to allow installation of a program and this must be allowed for accessing shell extensions via Gnome.org site. A Gnome shell integration plugin is needed and if i recall correctly another piece of connector software that doesn't seem to work through all browsers yet, such as Chrome. Not tried Chromium to date.
User avatar
Zjho
 
Posts: 17
Joined: 2016-09-15 17:46

Re: Shell extension won't install

Postby pylkko » 2017-07-09 11:07

You need to install a package in addition to the browser for it to work.
User avatar
pylkko
 
Posts: 1043
Joined: 2014-11-06 19:02

Re: Shell extension won't install

Postby Lysander » 2017-07-09 11:38

Why make a new thread for this - this could easily have followed on in your last.

Anyway, you did not confirm that you have installed cmake. You need to do that in order to be able to install extensions.
User avatar
Lysander
 
Posts: 313
Joined: 2017-02-23 10:07
Location: London

Re: Shell extension won't install

Postby Onsemeliot » 2017-07-10 05:43

pylkko wrote:gnome-shell-extension-autohidetopbar

Thanks for the tipp. Somehow I must have overlooked that. But I wasn't able to use the GNOME extension search bar on the GNOME site anyway since I always got no result or no filter what so ever.

Lysander wrote:you did not confirm that you have installed cmake.

Sorry, it actually was installed.

I begin to wonder if I should give GNOME an other try before I adjust the not so minimalistic looking LXDE. I prefer simple, clean layouts with little clutter. But when I was typing email and deleted some chars it always took some time before it did display what I've just done. The display was clearly lagging behind. This made it hard to efficiently work in Stretch with GNOME. But maybe this wasn't an issue of GNOME itself at all but a consequence of a broken Install I ended up with when trying to adjust things which didn't work as expected when I installed Stretch from the live image. I expect GNOME didn't get considerably heavier since Jessie and I quite liked some of the new features which do make the GNOME interface even cleaner than in Jessie.
User avatar
Onsemeliot
 
Posts: 144
Joined: 2010-12-15 14:43

Re: Shell extension won't install

Postby pylkko » 2017-07-10 06:11

Thanks for the tipp. Somehow I must have overlooked that. But I wasn't able to use the GNOME extension search bar on the GNOME site anyway since I always got no result or no filter what so ever.

notice that this package is not from the internet site. It is from Debian. personally, I would always first look to see if the package is in Debian before using some third-party Internet page. Some of the extensions on such sites are not properly maintained or are written in quite amateurish ways, whereas the extensions that you can install wit apt from Debian are curated, at least in theory, by Debian developers. Another thing is that if it is installed with apt it is easier to uninstall or update.

Code: Select all
apt install gnome-shell-extension-autohidetopbar
User avatar
pylkko
 
Posts: 1043
Joined: 2014-11-06 19:02

Re: Shell extension won't install

Postby Onsemeliot » 2017-07-10 07:15

pylkko wrote:personally, I would always first look to see if the package is in Debian

Me too. Unfortunately, I didn't expect that GNOME extensions would be available through the package management. Thanks again, now I know.
User avatar
Onsemeliot
 
Posts: 144
Joined: 2010-12-15 14:43


Return to Desktop & Multimedia

Who is online

Users browsing this forum: No registered users and 6 guests

fashionable