diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 17:54:44 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 17:54:44 +0000 |
| commit | c16cb1dcba60b0811b3c46aa4734b998a18fc8dc (patch) | |
| tree | 43c388f09756344e3f0243122526bcfd61421ee9 /debian/gnome-shell.lintian-overrides | |
| parent | Adding upstream version 43.9. (diff) | |
| download | gnome-shell-debian.tar.xz gnome-shell-debian.zip | |
Adding debian version 43.9-0+deb12u1.debian/43.9-0+deb12u1debian
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
| -rw-r--r-- | debian/gnome-shell.lintian-overrides | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/debian/gnome-shell.lintian-overrides b/debian/gnome-shell.lintian-overrides new file mode 100644 index 0000000..3980bdd --- /dev/null +++ b/debian/gnome-shell.lintian-overrides @@ -0,0 +1,16 @@ +# These RUNPATHs are needed to find mutter's private clutter fork +gnome-shell: custom-library-search-path RUNPATH /usr/lib/*/mutter-* [usr/bin/gnome-shell] +gnome-shell: custom-library-search-path RUNPATH /usr/lib/*/mutter-* [usr/lib/gnome-shell/*.so] + +# This is just a launcher for a desktop-required component (evolution) +gnome-shell: desktop-command-not-in-package evolution [usr/share/applications/evolution-calendar.desktop] + +# gnome-shell ships some desktop files only to provide metadata and icons to some apps +gnome-shell: desktop-command-not-in-package false [usr/share/applications/org.gnome.Shell.Extensions.desktop] +gnome-shell: desktop-command-not-in-package gapplication [usr/share/applications/org.gnome.Shell.PortalHelper.desktop] + +# This is a NoDisplay=true desktop file, so there's no need for it +gnome-shell: desktop-entry-lacks-main-category [usr/share/applications/org.gnome.Shell.desktop] + +# Conceptually a program, only built as a shared library for technical reasons +gnome-shell: exit-in-shared-library [usr/lib/gnome-shell/libgnome-shell.so] |