1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
About:
------
Hides Gnome's topbar except in overview mode.
* https://extensions.gnome.org/extension/545/hide-top-bar/
* https://github.com/mlutfy/hidetopbar
Maintained by Thomas Vogt.
With contributions by Philip Witte and Mathieu Lutfy.
Installation:
-------------
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/
License:
--------
Copyright (c) 2013-2015 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.
|
