summaryrefslogtreecommitdiffstats
path: root/debian
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--debian/patches/progress-linux/0001-wget.patch35
-rw-r--r--debian/patches/series1
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