diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 15:54:57 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 15:54:57 +0000 |
| commit | eda93e4d70cba4dc23c55d259fad0d2c761e54fa (patch) | |
| tree | b659ed6b4109f3eece33be633b55753963c1f5bf /debian | |
| parent | Updating source format. (diff) | |
| download | devscripts-eda93e4d70cba4dc23c55d259fad0d2c761e54fa.tar.xz devscripts-eda93e4d70cba4dc23c55d259fad0d2c761e54fa.zip | |
Using wget instead of curl for improved reliability with poor connections.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
| -rw-r--r-- | debian/patches/progress-linux/0001-wget.patch | 35 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 36 insertions, 0 deletions
diff --git a/debian/patches/progress-linux/0001-wget.patch b/debian/patches/progress-linux/0001-wget.patch new file mode 100644 index 0000000..5393973 --- /dev/null +++ b/debian/patches/progress-linux/0001-wget.patch @@ -0,0 +1,35 @@ +Author: Daniel Baumann <daniel.baumann@progress-linux.org> +Description: Using wget instead of curl for improved reliability with poor connections. + +diff -Naurp devscripts.orig/scripts/dget.pl devscripts/scripts/dget.pl +--- devscripts.orig/scripts/dget.pl ++++ devscripts/scripts/dget.pl +@@ -49,14 +49,14 @@ my $modified_conf_msg; + + my $compression_re = compression_get_file_extension_regex(); + +-# use curl if installed, wget otherwise +-if (system("command -v curl >/dev/null 2>&1") == 0) { +- $wget = "curl"; +-} elsif (system("command -v wget >/dev/null 2>&1") == 0) { ++# use wget if installed, curl otherwise ++if (system("command -v wget >/dev/null 2>&1") == 0) { + $wget = "wget"; ++} elsif (system("command -v curl >/dev/null 2>&1") == 0) { ++ $wget = "curl"; + } else { + die +-"$progname: can't find either curl or wget; you need at least one of these\ninstalled to run me!\n"; ++"$progname: can't find either wget or curl; you need at least one of these\ninstalled to run me!\n"; + } + + # functions +@@ -607,7 +607,7 @@ looks for matching files in I</var/cache + given by the B<--path> option or specified in the configuration files + (see below). Finally, if downloading (.orig).tar.gz or .diff.gz files + fails, dget consults B<apt-get source --print-uris>. Download backends +-used are B<curl> and B<wget>, looked for in that order. ++used are B<wget> and B<curl>, looked for in that order. + + B<dget> was written to make it easier to retrieve source packages from + the web for sponsor uploads. For checking the package with diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..8a36847 --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +progress-linux/0001-wget.patch |