From 8c09aad1ec87ea5560858751d641372ebe2973ab Mon Sep 17 00:00:00 2001 From: Martin Stransky Date: Thu, 21 Dec 2023 10:20:54 +0100 Subject: [PATCH] Rename firefox.desktop to org.mozilla.firefox.desktop at RENAMED_DESKTOP_IDS --- gnome-shell-favourite-apps-firefox.patch | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/gnome-shell-favourite-apps-firefox.patch b/gnome-shell-favourite-apps-firefox.patch index 38d0616..4cfe18f 100644 --- a/gnome-shell-favourite-apps-firefox.patch +++ b/gnome-shell-favourite-apps-firefox.patch @@ -29,10 +29,9 @@ index a876727ed..24ce16f81 100644 'gnotski.desktop': 'org.gnome.Klotski.desktop', 'gtali.desktop': 'org.gnome.Tali.desktop', 'iagno.desktop': 'org.gnome.Reversi.desktop', -+ 'mozilla-firefox.desktop': 'org.mozilla.firefox.desktop', ++ 'firefox.desktop': 'org.mozilla.firefox.desktop', 'nautilus.desktop': 'org.gnome.Nautilus.desktop', 'org.gnome.gnome-2048.desktop': 'org.gnome.TwentyFortyEight.desktop', 'org.gnome.taquin.desktop': 'org.gnome.Taquin.desktop', --- +-- 2.30.1 -