diff options
Diffstat (limited to 'debian')
| -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 |