From 5b9d38f422ba4fcd4586e96694cf3c62e306fd06 Mon Sep 17 00:00:00 2001 From: Greg Bowler Date: Tue, 18 Nov 2014 16:12:43 +0000 Subject: [PATCH] Remove .gt dir if already exists --- bin/install | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/bin/install b/bin/install index a0049d03..32d9e539 100755 --- a/bin/install +++ b/bin/install @@ -13,7 +13,10 @@ $gtDir = "$HOME/.gt"; $binDir = "$gtDir/PHP.Gt/bin"; $gtBinDir = "$gtDir/bin"; -if(!is_dir($gtDir)) { +if(is_dir($gtDir)) { + exec("rm -rf $gtDir"); +} +else { mkdir($gtDir); } chdir($gtDir);