gnome-shell-extensions 3.16.2-1ubuntu1 source package in Ubuntu
Changelog
gnome-shell-extensions (3.16.2-1ubuntu1) wily; urgency=medium * Merge from Debian unstable. Remaining changes: - debian/patches/fix-ubuntu-sessions.patch: + Set X-LightDM-DesktopName to GNOME for GNOME session. gnome-shell-extensions (3.16.2-1) unstable; urgency=medium [ Emilio Pozuelo Monfort ] * debian/gnome-shell-extensions.gsettings-override: + Dropped, no longer needed as the enabled extension no longer exists. Thanks Artur Rona for noticing. (Closes: #782747) [ Michael Biebl ] * New upstream release. * Update Homepage. * Bump debhelper compatibility level to 9. -- Jackson Doak <email address hidden> Sat, 04 Jul 2015 15:32:43 +1000
Upload details
- Uploaded by:
- Jackson Doak
- Sponsored by:
- Daniel Holbach
- Uploaded to:
- Wily
- Original maintainer:
- Ubuntu Developers
- Architectures:
- all
- Section:
- gnome
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gnome-shell-extensions_3.16.2.orig.tar.xz | 225.9 KiB | 0dca1677ec9401dd7c1a7261164b7f4cc94d52207637cf9e8e350bb9f6d0e9bf |
gnome-shell-extensions_3.16.2-1ubuntu1.debian.tar.xz | 6.4 KiB | 7d886487fd266b89f682abcc4d4eedb5524754b36d3c676ad177978ed4470c8c |
gnome-shell-extensions_3.16.2-1ubuntu1.dsc | 1.9 KiB | 8594c1c4240a4e61e0606dca454316a43bd589f09eff1285421aa0b4e74da8c8 |
Available diffs
- diff from 3.16.1-1ubuntu1 to 3.16.2-1ubuntu1 (10.9 KiB)
Binary packages built by this source
- gnome-shell-extensions: 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.