Hides Gnome's topbar except in overview mode.
Maintained by Thomas Vogt. With contributions by Philip Witte and Mathieu Lutfy.
Compile the gsettings schema by running
make schemas
Install this in your extensions directory
~/.local/share/gnome-shell/extensions/
and restart GNOME Shell. Example:
cd ~/.local/share/gnome-shell/extensions/
git clone https://github.com/mlutfy/hidetopbar.git hidetopbar@mathieu.bidon.ca
cd hidetopbar@mathieu.bidon.ca
make schemas
gnome-shell-extension-tool -e hidetopbar@mathieu.bidon.ca
gnome-shell --replace &
The last commandline restarts GNOME Shell.
You can also manage extensions from https://extensions.gnome.org/local/
You can install the extension directly from gnome.org/.../hide-top-bar/.
If you're installing via a Chrome browser, make sure you read the GNOME Shell integration for Chrome Installation Guide.
Copyright (c) 2013-2017 Thomas Vogt.
Copyright (c) 2012-2013 Mathieu Lutfy.
Copyright (c) 2012 Philip Witte.
This program is free software; you can redistribute it and/or modify it under the terms of VERSION 2 of the GNU General Public License as published by the Free Software Foundation provided that the above copyright notice is included.
This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Go to http://www.gnu.org/licenses/gpl-2.0.html to get a copy of the license.