Ubuntu
gnome-shell package

gnome-shell 45~rc-0ubuntu2 source package in Ubuntu

Changelog

gnome-shell (45~rc-0ubuntu2) mantic; urgency=medium

  * Update magnizier sprite scaling patch with latest version proposed upstream

 -- Jeremy Bícha <email address hidden>  Sat, 09 Sep 2023 11:17:39 -0400

Upload details

Uploaded by:
Jeremy Bícha
Uploaded to:
Mantic
Original maintainer:
Ubuntu Developers
Architectures:
linux-any all
Section:
gnome
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
gnome-shell_45~rc.orig.tar.xz 1.9 MiB 1031c66a70eb9cd7130afae4fddcee1760e8a840f5b562efec3ec3fa813aeb3a
gnome-shell_45~rc-0ubuntu2.debian.tar.xz 76.1 KiB 204f79919c1f708e848d7b35f3ffc7c8e1b6c66bd50987192d4dd88f96fd1321
gnome-shell_45~rc-0ubuntu2.dsc 3.9 KiB 7cd58352e79a36fcfdc6887b9d03db5f2e7f5b852a86ce449e0ef09b5118a553

Available diffs

View changes file

Binary packages built by this source

gnome-shell: graphical shell for the GNOME desktop

 The GNOME Shell provides core interface functions like switching
 windows, launching applications or see your notifications. It takes
 advantage of the capabilities of modern graphics hardware and
 introduces innovative user interface concepts to provide a
 delightful and easy to use experience. GNOME Shell is the defining
 technology of the GNOME 3 user experience.

gnome-shell-common: common files for the GNOME graphical shell

 This package contains translations and data files for the GNOME shell.

gnome-shell-dbgsym: debug symbols for gnome-shell
gnome-shell-extension-prefs: tool to enable / disable GNOME Shell extensions

 This package contains a tool which users who use Shell extensions can use to
 toggle them on and off, and access their preferences.