diff options
Diffstat (limited to 'scripts/lib/ptxd_make_get.sh')
| -rw-r--r-- | scripts/lib/ptxd_make_get.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/lib/ptxd_make_get.sh b/scripts/lib/ptxd_make_get.sh index 0b3822db8..9fba2a6d2 100644 --- a/scripts/lib/ptxd_make_get.sh +++ b/scripts/lib/ptxd_make_get.sh @@ -52,6 +52,7 @@ ptxd_make_get_http() { --progress=bar:force \ --timeout=30 \ --tries=5 \ + --user-agent="PTXdist ${PTXDIST_VERSION_FULL}" \ ${PTXDIST_QUIET:+--quiet} \ "${opts[@]}" \ -O "${temp_file}" \ |