fedora-gnome/fedora-gnome.sh

@@ -133,10 +133,11 @@ sudo dnf remove -y abrt* cheese evince file-roller* libreoffice* mediawriter rhy
 sudo dnf remove -y lvm2 rng-tools thermald '*perl*'
 
 # Disable openh264 repo
-sudo dnf config-manager setopt fedora-cisco-openh264.enabled=0
+sudo dnf config-manager --set-disabled fedora-cisco-openh264
 
 # Install custom packages
-sudo dnf -y install qubes-ctap qubes-gpg-split adw-gtk3-theme flatpak ncurses xdg-desktop-portal-gtk
+# gnome-shell is needed for theming to work
+sudo dnf -y install qubes-ctap qubes-gpg-split adw-gtk3-theme flatpak ncurses
 
 # Setup hardened_malloc
 sudo https_proxy=127.0.0.1:8082 dnf copr enable secureblue/hardened_malloc -y

fedora-gnome/microsoft-edge.sh

@@ -57,10 +57,6 @@ WantedBy=default.target' | sudo tee /etc/systemd/user/pactl.service
 
 umask 077
 
-# Disable hardened_malloc (for now)
-# It causes Edge to crash at launch most of the time
-sudo rm /etc/ld.so.preload
-
 # Run `systemctl --user enable --now pactl.service` in your appVM.
 # For some uncomprehensible reason, manually enabling pipewire-pulse.service will not work for Edge audio.
 # Using preset doesn't actually work :/

fedora-gnome/trivalent.sh

@@ -24,7 +24,7 @@ download() {
   unpriv curl -s --proxy http://127.0.0.1:8082 "${1}" | sudo tee "${2}" > /dev/null
 }
 
-sudo dnf config-manager addrepo --from-repofile=https://repo.secureblue.dev/secureblue.repo
+sudo https_proxy=127.0.0.1:8082 dnf copr enable secureblue/trivalent -y
 sudo dnf config-manager setopt fedora-cisco-openh264.enabled=1 rpmfusion-free.enabled=1 rpmfusion-free-updates.enabled=1 rpmfusion-nonfree.enabled=1 rpmfusion-nonfree-updates.enabled=1
 sudo dnf install -y ffmpeg trivalent
 sudo dnf update @multimedia --setopt="install_weak_deps=False" --exclude=PackageKit-gstreamer-plugin