-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathREADME
28 lines (15 loc) · 891 Bytes
/
README
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
= NAME =
= DESCRIPTION =
This extension adds a popup menu to the top bar of gnome-shell.
If you have any custom launchers, for example from a previous version of gnome-panel, or from your desktop, you can use the new popup to start these.
To populate the popup menu, put .desktop files into ~/.local/share/gnome-shell/quicklaunch/
= INSTALL =
1. Put this folder below ~/.local/share/gnome-shell/extensions/ and rename it to [email protected]
2. create ~/.local/share/gnome-shell/quicklaunch and put a few .desktop files in there
mkdir -p ~/.local/share/gnome-shell/quicklaunch/
3. reload gnome-shell (press alt-f2, enter r)
4. use gnome-tweak-tool to enable the new shell extension
= RELATED
* http://library.gnome.org/admin/system-admin-guide/stable/menustructure-desktopentry.html.en
* http://standards.freedesktop.org/desktop-entry-spec/latest/