From f9e86fd11603cd2a4ba58912abe8ba7ecd55c9e0 Mon Sep 17 00:00:00 2001 From: Markus Wolf Date: Thu, 20 Dec 2018 18:23:30 +0100 Subject: [PATCH] Update setup.sh removed uneeded echos --- dist/setup.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/dist/setup.sh b/dist/setup.sh index 4b1e968..8610261 100755 --- a/dist/setup.sh +++ b/dist/setup.sh @@ -523,11 +523,9 @@ check_directory_owner() { else # does parent exist and do we have rw on that? local parentDir=$(dirname $d) - echo $parentDir while [[ ! $parentDir == '/' && ! -e $parentDir ]]; do parentDir=$(dirname $parentDir) done - echo $parentDir if [[ ! -r $parentDir || ! -w $parentDir ]]; then status=1 fi