fix netrcoption for http_get

diff --git a/etc/profile.d/functions b/etc/profile.d/functions
index 4c8b54bfeea0670b41adcc55d7f2e2a4e032bea0..6a7c6fbeaaa4ddb3e626056a0985a39bd4f03130 100755 (executable)
--- a/etc/profile.d/functions
+++ b/etc/profile.d/functions
@@ -588,7 +588,7 @@ myip() {
 
 http_get() {
        if which curl 1>/dev/null; then
-               curl -sk --netrc $*
+               curl -sk --netrc-optional $*
 
        elif which wget 1>/dev/null; then
                wget -O - --quiet --no-verbose --no-check-certificate --timeout 10 --tries 1 $*

diff --git a/lib/postgres/w3schools.sh b/lib/postgres/w3schools.sh
index b935823e2e1807390696f65c9552de5bb1928853..03bae21ed5b1608048e17be57fa4fde657fa7de9 100755 (executable)
--- a/lib/postgres/w3schools.sh
+++ b/lib/postgres/w3schools.sh
@@ -9,6 +9,7 @@ preff="$(echo "$url"|sed -E 's,[^/]+\.[^/]+$,,')"
 #exec echo $preff
 #exec echo "<$cut>"
 
+#echo $url 1>&2
 http_get "$url" | \
 xmllint --format --html --xpath '/html/body//div[@id="main"]//table' - 2>/dev/null | \
 grep -Ev '<th' | \