try to auth to github API if avail 1

curl · Jul 12, 2024 · 9f8bd4e · 9f8bd4e
1 parent 694faad
commit 9f8bd4e
Showing 1 changed file with 12 additions and 4 deletions.
diff --git a/_dl.sh b/_dl.sh
@@ -168,10 +168,18 @@ EOF
 }
 
 my_curl() {
-  # >&2 echo "my_curl|$*|"
-  curl --disable --user-agent '' --fail --silent --show-error --globoff \
-    --remote-time --xattr \
-    --connect-timeout 15 --max-time 60 --retry 3 --max-redirs 10 "$@"
+  local opts
+  opts=(--disable --user-agent '' --fail --silent --show-error --globoff \
+     --remote-time --xattr \
+     --connect-timeout 15 --max-time 60 --retry 3 --max-redirs 10)
+  >&2 echo "my_curl|${opts[*]} $*|"
+  if [[ "$*" = *'https://api.github.com/'* && -n "${GITHUB_TOKEN:+1}" ]]; then
+    opts+=(--header @/dev/stdin)
+    exec <<EOF
+Authorization: Bearer ${GITHUB_TOKEN}
+EOF
+  fi
+  curl "${opts[@]}" "$@"
 }
 
 my_gpg() {