Binary package “gnome-shell-extensions” in ubuntu trusty
Extensions to extend functionality of GNOME Shell
The GNOME Shell redefines user interactions with the GNOME desktop. In
particular, it offers new paradigms for launching applications,
accessing documents, and organizing open windows in GNOME. Later, it
will introduce a new applets eco-system and offer new solutions for
other desktop features, such as notifications and contacts management.
The GNOME Shell is intended to replace functions handled by the GNOME
Panel and by the window manager in previous versions of GNOME. The GNOME
Shell has rich visual effects enabled by new graphical technologies.
.
GNOME Shell is extensible using extensions. This package contains
official GNOME Shell extensions.
Published versions
- gnome-shell-extensions 3.10.1-0ubuntu2 in amd64 (Proposed)
- gnome-shell-extensions 3.10.1-0ubuntu2 in amd64 (Release)
- gnome-shell-extensions 3.10.1-0ubuntu2 in arm64 (Proposed)
- gnome-shell-extensions 3.10.1-0ubuntu2 in arm64 (Release)
- gnome-shell-extensions 3.10.1-0ubuntu2 in armhf (Proposed)
- gnome-shell-extensions 3.10.1-0ubuntu2 in armhf (Release)
- gnome-shell-extensions 3.10.1-0ubuntu2 in i386 (Proposed)
- gnome-shell-extensions 3.10.1-0ubuntu2 in i386 (Release)
- gnome-shell-extensions 3.10.1-0ubuntu2 in powerpc (Proposed)
- gnome-shell-extensions 3.10.1-0ubuntu2 in powerpc (Release)
- gnome-shell-extensions 3.10.1-0ubuntu2 in ppc64el (Proposed)
- gnome-shell-extensions 3.10.1-0ubuntu2 in ppc64el (Release)