Ubuntu
gnome-shell package

gnome-shell 42.5-0ubuntu1 source package in Ubuntu

Changelog

gnome-shell (42.5-0ubuntu1) jammy; urgency=medium

  * New upstream release (LP: #1993809)
    - Fix switching monitor with Super-P (LP: #1984147)
  * debian/source_gnome-shell.py: Don't try to report nonexistent mouse
    gsettings schema

 -- Jeremy Bicha <email address hidden>  Fri, 21 Oct 2022 08:03:20 -0400

Upload details

Uploaded by:
Jeremy Bícha
Uploaded to:
Jammy
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_42.5.orig.tar.xz 1.8 MiB 4f15d6e788762191b038f0f28c5808f499534455cb16674f1dcecb263b3ed917
gnome-shell_42.5-0ubuntu1.debian.tar.xz 74.1 KiB 2536b55dd3449837d3b9964cfc4b3b724dce4b7e1be5536418f2d247bed2aba4
gnome-shell_42.5-0ubuntu1.dsc 4.0 KiB 2d033e1bcf449b30f9b6933d339659cfcc597698b091e5cd9a10a8eaf5411a1e

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.