Update update_dev.sh

pull/795/head
dami 4 weeks ago
parent 66c875584f
commit 9cd46a7f9f
  1. 8
      scripts/update_dev.sh

@ -205,6 +205,14 @@ if [ -f /bin/cp ];then
CP_CMD=/bin/cp
fi
if [ -f /tmp/dev.tar.gz ];then
rm -rf /tmp/dev.tar.gz
fi
if [ -d /tmp/mdserver-web-dev ];then
rm -rf /tmp/mdserver-web-dev
fi
echo "update mdserver-web dev code start"
curl --insecure -sSLo /tmp/dev.tar.gz ${HTTP_PREFIX}github.com/midoks/mdserver-web/archive/refs/heads/dev.tar.gz

Loading…
Cancel
Save