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
Install this in your extensions directory
and restart GNOME Shell. Example:
cd ~/.local/share/gnome-shell/extensions/ git clone https://github.com/mlutfy/hidetopbar.git firstname.lastname@example.org cd email@example.com make schemas gnome-shell-extension-tool -e firstname.lastname@example.org gnome-shell --replace &
The last commandline restarts GNOME Shell.
You can also manage extensions from https://extensions.gnome.org/local/
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.