Wget usage:
✔ ~/java/github/checkstyle/checkstyle [master|✔]
$ ag --hidden "wget"
....
.ci/travis.sh
58: wget --progress=dot:giga "$URL"
.ci/validation.sh
30: wget -q http://sevntu-checkstyle.github.io/sevntu.checkstyle/apidocs/allclasses-frame.html -O - \
241: TESTED=$(wget -q -O - https://josm.openstreetmap.de/wiki/TestedVersion?format=txt)
323: wget -q \
327: wget -q \
.ci/eclipse-compiler-javac.sh
15:ECJ_MAVEN_VERSION=$(wget --quiet -O- "$ECLIPSE_URL/?C=M;O=D" | grep -o "R-[^/]*" | head -n1)
17:ECJ_JAR=$(wget --quiet -O- "$ECLIPSE_URL/$ECJ_MAVEN_VERSION/" | grep -o "ecj-[^\"]*" | head -n1)
23: wget $ECLIPSE_URL/"$ECJ_MAVEN_VERSION"/"$ECJ_JAR"
better to use curl --fail-with-body and GITHUB_TOKEN if it is request to github (to avoid being rejected)
curl --fail-with-body -X GET "${PULL_REQUEST_URL}" \
-H "Accept: application/vnd.github+json" \
-H "Authorization: token $GITHUB_TOKEN" \
-o .ci-temp/info.json
Wget usage:
better to use
curl --fail-with-bodyand GITHUB_TOKEN if it is request to github (to avoid being rejected)