replaced wget with curl

This commit is contained in:
Peter 'Pita' Martischka 2011-08-09 10:54:55 +01:00
parent af9c09a93a
commit 30f00a530e
2 changed files with 4 additions and 4 deletions

View file

@ -9,8 +9,8 @@ if [ -d "../bin" ]; then
fi
#Is wget installed?
hash wget > /dev/null 2>&1 || {
echo "Please install wget" >&2
hash curl > /dev/null 2>&1 || {
echo "Please install curl" >&2
exit 1
}
@ -47,7 +47,7 @@ if [ -f "static/js/jquery.min.js" ]; then
fi
if [ $DOWNLOAD_JQUERY = "true" ]; then
wget -O static/js/jquery.min.js http://code.jquery.com/jquery-$NEEDED_VERSION.min.js || exit 1
curl -lo static/js/jquery.min.js http://code.jquery.com/jquery-$NEEDED_VERSION.min.js || exit 1
fi
#Remove all minified data to force node creating it new