From 6b2056ba0ff98c8fa6e37fece6f267f7e0f8b68d Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Tue, 9 Aug 2022 11:48:30 +0100 Subject: [PATCH] Use the Firefox flatpak by default --- roles/home-gui/files/gnome-setup.sh | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index b9c6fb3..b6b9f90 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -3,18 +3,10 @@ test -x /usr/bin/gsettings || (echo "gsettings not found" && exit 1) set_favorites_bar () { - local firefox - if [ -r /usr/share/applications/firefox-esr.desktop ] && [ ! -r /usr/share/applications/firefox.desktop ] - then - firefox=firefox-esr - else - firefox=firefox - fi - if [ -r ${XDG_CONFIG_HOME:-$HOME/.config}/favorite-apps.conf ]; then gsettings set org.gnome.shell favorite-apps "$(cat ${XDG_CONFIG_HOME:-$HOME/.config}/favorite-apps.conf)" else - gsettings set org.gnome.shell favorite-apps "['org.gnome.Terminal.desktop', 'org.gnome.Nautilus.desktop', '$firefox.desktop']" + gsettings set org.gnome.shell favorite-apps "['org.gnome.Terminal.desktop', 'org.gnome.Nautilus.desktop', 'org.mozilla.firefox.desktop']" fi } set_favorites_bar