From b2288c946d1c082f01153b889dcf7e383c229d6f Mon Sep 17 00:00:00 2001
From: Michael Rodler <michael@michaelrodler.at>
Date: Thu, 2 Jun 2016 16:30:14 +0200
Subject: [PATCH] pipe ./uninstall output to uninstall.log

---
 bin/manage-tools | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/bin/manage-tools b/bin/manage-tools
index 0656e31..3543902 100755
--- a/bin/manage-tools
+++ b/bin/manage-tools
@@ -235,8 +235,9 @@ case $ACTION in
 	uninstall)
 		cd $TOOL
 
-		[ -x ./uninstall ] && ./uninstall
-		git clean -dffx .
+		tool_log "starting uninstall, logging to $PWD/uninstall.log"
+		[ -x ./uninstall ] && ./uninstall >> uninstall.log 2>&1
+		git clean -dffx . >/dev/null 2>&1
 		tool_log "uninstall finished"
 
 		cd ..