From c09dec111d37d21c6e849fb2234488a1ada61a8d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Ruiz=20de=20Alegr=C3=ADa?= <daniruiz@kali.org>
Date: Thu, 24 Mar 2022 15:26:40 +0100
Subject: [PATCH] Xfce: use alternative panel for arm devices

---
 debian/kali-themes.postinst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/debian/kali-themes.postinst b/debian/kali-themes.postinst
index e34bc072..4faf267b 100644
--- a/debian/kali-themes.postinst
+++ b/debian/kali-themes.postinst
@@ -130,6 +130,10 @@ if [ "$1" = "configure" ]; then
         echo "firefox-esr package found, replacing default-browser in xfce4-panel"
         sed -i 's/xfce4-web-browser/firefox-esr/' /etc/xdg/xfce4/panel/default.xml
     fi
+    # Use lighter configuration for xfce4-panel in arm devices
+    if dpkg --print-architecture | grep -q arm; then
+        sed -i '/<!--/d' /etc/xdg/xfce4/panel/default.xml
+    fi
     # Copy grub theme to /boot
     mkdir -p /boot/grub/themes/kali
     cp -r /usr/share/grub/themes/kali/* /boot/grub/themes/kali/