download.pl: add aria2c support
authorBradford Zhang <zyc@zyc.name>
Tue, 13 Sep 2022 23:54:04 +0000 (07:54 +0800)
committerChristian Marangi <ansuelsmth@gmail.com>
Sun, 25 Sep 2022 12:56:45 +0000 (14:56 +0200)
commitd391236269314a759acb7dfb7ec01ccaa0e0b32c
treedc2ba53dc7daac163e63222f3d95cd0b8f53136c
parenta67f484e67b1d0930cb4b10b9e3787ecf7e71579
download.pl: add aria2c support

Use aria2c download tool by default on package download if available in
the system.
aria2c permits to use multiple mirrors and may improve download speed on
special context where servers are hard to reach.

Co-authored-by: Christian Marangi <ansuelsmth@gmail.com>
Signed-off-by: Bradford Zhang <zyc@zyc.name>
[ fix wrong var in the script and improve commit description ]
Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
scripts/download.pl