diff --git a/debian/patches/progress-linux/0001-wget.patch b/debian/patches/progress-linux/0001-wget.patch new file mode 100644 index 0000000..64f8626 --- /dev/null +++ b/debian/patches/progress-linux/0001-wget.patch @@ -0,0 +1,35 @@ +Author: Daniel Baumann +Description: Using wget instead of curl because of better retry behaviour with poor connections. + +diff -Naurp devscripts.orig/scripts/dget.pl devscripts/scripts/dget.pl +--- devscripts.orig/scripts/dget.pl ++++ devscripts/scripts/dget.pl +@@ -50,14 +50,14 @@ my $modified_conf_msg; + + my $compression_re = compression_get_file_extension_regex(); + +-# use curl if installed, wget otherwise +-if (find_command('curl')) { +- $wget = "curl"; +-} elsif (find_command('wget')) { ++# use wget if installed, curl otherwise ++if (find_command('wget')) { + $wget = "wget"; ++} elsif (find_command('curl')) { ++ $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 +@@ -615,7 +615,7 @@ looks for matching files in I option or specified in the configuration files + (see below). Finally, if downloading (.orig).tar.gz or .diff.gz files + fails, dget consults B. Download backends +-used are B and B, looked for in that order. ++used are B and B, looked for in that order. + + B I should be implemented in B. + 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