From 2b80e526539698f9315eea1d0b5a0834b2519d94 Mon Sep 17 00:00:00 2001
From: Silvio Rhatto <rhatto@riseup.net>
Date: Tue, 20 Dec 2022 13:56:12 -0300
Subject: Fix: provision: move tor installation to web-basic

---
 share/provision/debian/web-basic | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'share/provision/debian/web-basic')

diff --git a/share/provision/debian/web-basic b/share/provision/debian/web-basic
index 11a94b5..9cb6ad4 100755
--- a/share/provision/debian/web-basic
+++ b/share/provision/debian/web-basic
@@ -36,6 +36,10 @@ $APT_INSTALL firefox-esr chromium
 # Use addons.mozilla.org version instead
 sudo apt-get remove -y webext-treestyletab
 
+# Lave Tor available if the user wants to route other software besides running Tor Browser
+#$APT_INSTALL tor
+sudo apps/trashman/trashman install tor
+
 # Mozilla configuration
 # Create this config using "cd $HOME && /bin/tar jcvf mozilla.tar.bz2 .mozilla"
 #if [ ! -d "$HOME/.mozilla" ]; then
-- 
cgit v1.2.3