From 688ff5a26b475405c2edee6bf743d177d5546d96 Mon Sep 17 00:00:00 2001 From: Christian Rotzoll Date: Thu, 25 Jul 2019 22:44:48 +0200 Subject: [PATCH] remove fatal git clone if RTL exists --- home.admin/config.scripts/bonus.rtl.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/home.admin/config.scripts/bonus.rtl.sh b/home.admin/config.scripts/bonus.rtl.sh index d19c17f..b2d6b46 100755 --- a/home.admin/config.scripts/bonus.rtl.sh +++ b/home.admin/config.scripts/bonus.rtl.sh @@ -71,6 +71,7 @@ if [ "$1" = "1" ] || [ "$1" = "on" ]; then # download source code and set to tag release echo "*** Get the RTL Source Code ***" + rm -r ./RTL 2>/dev/null git clone https://github.com/ShahanaFarooqui/RTL.git cd RTL git reset --hard v0.4.2