Remove .gt dir if already exists

PhpGt · Nov 18, 2014 · 5b9d38f · 5b9d38f
1 parent fd8c29b
commit 5b9d38f
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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);