+ config DOWNLOAD_TOOL_CUSTOM
+ string "Use custom download tool" if DEVEL
+ default ""
+ help
+ Use and force custom download tool instead of relying on autoselection
+ between curl if available and wget as a fallback.
+
+ download.pl supports 3 tools officially aria2c, curl and wget.
+ If one of the tool is used in this config, download.pl will use the
+ default args to make use of them.
+
+ If the provided string is different than aria2c, curl or wget, the command
+ is used as is and the download url will be appended at the end of such command.
+