make tilix default

2020.1/aims-desktop/aims-desktop-2020/debian/changelog

+aims-desktop (2020.32) buster; urgency=medium
+
+  * Effectively make Tilix the default x-terminal-emulator 
+
+ -- Jonathan Carter <jcc@debian.org>  Thu, 25 Apr 2019 09:46:34 +0000
+
 aims-desktop (2020.31) buster; urgency=medium
 
   * Add and enable dekstop-icons shell extension

2020.1/aims-desktop/aims-desktop-2020/debian/postinst

@@ -19,3 +19,12 @@ if [ ! -f /etc/gdm3/custom.conf ]; then
     echo "[daemon]" >> /etc/gdm3/custom.conf
     echo "WaylandEnable=false" >> /etc/gdm3/custom.conf
 fi
+
+# Increase the priority of tilix, gnome-terminal is 40.
+if [ "$1" = "configure" ]; then
+        update-alternatives --install /usr/bin/x-terminal-emulator \
+        x-terminal-emulator /usr/bin/tilix.wrapper 45 \
+        --slave /usr/share/man/man1/x-terminal-emulator.1.gz \
+        x-terminal-emulator.1.gz /usr/share/man/man1/tilix.1.gz
+fi
+