A collection of extensions for GNOME Shell
http://live.gnome.org/GnomeShell/Extensions
GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell.
- Links to GNOME:Factory / gnome-shell-extensions
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout GNOME:Next/gnome-shell-extensions && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| README.SUSE | 0000000207 207 Bytes | |
| _link | 0000000121 121 Bytes | |
| gnome-shell-extensions-3.15.92.tar.xz | 0000239260 234 KB | |
| gnome-shell-extensions.changes | 0000030184 29.5 KB | |
| gnome-shell-extensions.spec | 0000005713 5.58 KB | |
|
gnome-shell-reload-specials-when-xdg-user-dirs-cha |
0000005106 4.99 KB |
Revision 42 (latest revision is 314)
Dominique Leuenberger (dimstar)
accepted
request 291383
from
Chao Xiong (cxiong)
(revision 42)
- Add gnome-shell-reload-specials-when-xdg-user-dirs-changes.patch. let place menu handles changes of special user directories properly (bnc#885490 bgo#746338)
Comments 0