From b8e519a99fc3d33ce0f5e372ce5eae0d5f2f3a1a Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Mon, 15 Apr 2024 22:33:42 +0200 Subject: Using wget instead of curl for improved reliability with poor connections. Signed-off-by: Daniel Baumann --- debian/patches/progress-linux/0001-wget.patch | 35 +++++++++++++++++++++++++++ debian/patches/series | 1 + 2 files changed, 36 insertions(+) create mode 100644 debian/patches/progress-linux/0001-wget.patch create mode 100644 debian/patches/series 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 +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 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 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 -- cgit v1.2.3