diff options
| author | Zhang Hua <zhanghuadedn@gmail.com> | 2022-10-02 19:04:12 +0800 |
|---|---|---|
| committer | Christian Marangi <ansuelsmth@gmail.com> | 2022-10-20 20:38:31 +0200 |
| commit | a53f29b583dd974b8b65737bab7fbca7753c738c (patch) | |
| tree | b5ecdec47b71d1ab8d4c71b95c4609e7b97485bc /toolchain | |
| parent | edbf9f156f85c90c899a576aff8a9f8aa506d4a5 (diff) | |
| download | upstream-a53f29b583dd974b8b65737bab7fbca7753c738c.tar.gz upstream-a53f29b583dd974b8b65737bab7fbca7753c738c.tar.bz2 upstream-a53f29b583dd974b8b65737bab7fbca7753c738c.zip | |
scripts/download.pl: pass aria2 config in ENV only
The aria2c command tries to load config from
${XDG_CONFIG_HOME:-${HOME}/.config}/aria2/aria2.conf by default,
which may result unexpected behavior.
As a replacement, people can use environment variable ARIA2C_OPTIONS
to custom arguments passed to aria2c like curl and wget below.
Including --conf-path=/path/to/config.conf in ARIA2C_OPTIONS can
also set a custom config file path easily if needed.
Signed-off-by: Zhang Hua <zhanghuadedn@gmail.com>
Diffstat (limited to 'toolchain')
0 files changed, 0 insertions, 0 deletions