From b560280effcf7a276ed1cbbd7d9dfdd70410133c Mon Sep 17 00:00:00 2001
From: rootzoll <christian@geektank.de>
Date: Sat, 9 Feb 2019 17:06:42 +0100
Subject: [PATCH] debug output

---
 home.admin/config.scripts/internet.tor.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/home.admin/config.scripts/internet.tor.sh b/home.admin/config.scripts/internet.tor.sh
index 33923f530..d14067181 100755
--- a/home.admin/config.scripts/internet.tor.sh
+++ b/home.admin/config.scripts/internet.tor.sh
@@ -16,9 +16,10 @@ fi
 prepareTorSources()
 {
     # Prepare for TOR service
-    echo "*** Install TOR repo keys ***"
+    echo "*** INSTALL TOR REPO ***"
+    echo ""
 
-    echo "*** Installing dirmngr ***"
+    echo "*** Install dirmngr ***"
     sudo apt install dirmngr -y
     echo ""