1
0
Fork 0

Using wget instead of curl because of better retry behaviour with poor connections.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
This commit is contained in:
Daniel Baumann 2025-06-21 11:47:55 +02:00
parent 0a738ab718
commit df430022eb
Signed by: daniel.baumann
GPG key ID: BCC918A2ABD66424
2 changed files with 36 additions and 0 deletions

View file

@ -0,0 +1,35 @@
Author: Daniel Baumann <daniel.baumann@progress-linux.org>
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</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> I<package> should be implemented in B<apt-get install -d>.

1
debian/patches/series vendored Normal file
View file

@ -0,0 +1 @@
progress-linux/0001-wget.patch