Fix: provision: do not use webext-treestyletab package

diff --git a/share/provision/web-basic b/share/provision/web-basic
index 1555a770d2b4c482bf8812c02a191bd0bc2eafc3..4228d36d9dfb9c06ff59ab822db11afe7fb77d1c 100755 (executable)
--- a/share/provision/web-basic
+++ b/share/provision/web-basic
@@ -31,7 +31,10 @@ $DIRNAME/desktop-basic $HOSTNAME $DOMAIN $MIRROR
 
 # Additional packages
 echo "Installing additional web packages..."
-$APT_INSTALL firefox-esr chromium webext-treestyletab
+$APT_INSTALL firefox-esr chromium
+
+# Use addons.mozilla.org version instead
+sudo apt get remove -y webext-treestyletab
 
 # Mozilla configuration
 # Create this config using "cd $HOME && /bin/tar jcvf mozilla.tar.bz2 .mozilla"