Re: [LEDE-DEV] [PATCH] prereq-mk: Change wget dependency to curl one.

2018-03-11 Thread Alberto Bursi
On 3/10/2018 7:13 PM, Stijn Segers wrote: Op za, 10 mrt 2018 om 7:03 , schreef Rosen Penev : On Sat, Mar 10, 2018 at 3:31 AM, Bjørn Mork wrote:  Rosen Penev writes:  curl is more common than GNU wget is.  No. Yes.  For example, Cygwin, Arch Linux, and my android phone all come with

Re: [LEDE-DEV] [PATCH] prereq-mk: Change wget dependency to curl one.

2018-03-10 Thread Michelle Sullivan
I'm going to wade in here as an 'outsider' as it were... and +1 to wget. Bjørn Mork wrote: Rosen Penev writes: On Sat, Mar 10, 2018 at 3:31 AM, Bjørn Mork wrote: Rosen Penev writes: curl is more common than GNU wget is. No. Yes. That shouldn't matter either way - both are available.

Re: [LEDE-DEV] [PATCH] prereq-mk: Change wget dependency to curl one.

2018-03-10 Thread Bjørn Mork
Rosen Penev writes: > On Sat, Mar 10, 2018 at 3:31 AM, Bjørn Mork wrote: >> Rosen Penev writes: >> >>> curl is more common than GNU wget is. >> >> No. > Yes. How about throwing in an actual argument why you think it is? Or why it makes curl a better choice than e.g. firefox, which also is quit

Re: [LEDE-DEV] [PATCH] prereq-mk: Change wget dependency to curl one.

2018-03-10 Thread Stijn Segers
Op za, 10 mrt 2018 om 7:03 , schreef Rosen Penev : On Sat, Mar 10, 2018 at 3:31 AM, Bjørn Mork wrote: Rosen Penev writes: curl is more common than GNU wget is. No. Yes. For example, Cygwin, Arch Linux, and my android phone all come with curl by default whereas wget is missing.

Re: [LEDE-DEV] [PATCH] prereq-mk: Change wget dependency to curl one.

2018-03-10 Thread Rosen Penev
On Sat, Mar 10, 2018 at 3:31 AM, Bjørn Mork wrote: > Rosen Penev writes: > >> curl is more common than GNU wget is. > > No. Yes. > >> For example, Cygwin, Arch Linux, and my android phone all come with >> curl by default whereas wget is missing. > > wget has priority "important" in Debian, while

Re: [LEDE-DEV] [PATCH] prereq-mk: Change wget dependency to curl one.

2018-03-10 Thread Bjørn Mork
Rosen Penev writes: > curl is more common than GNU wget is. No. > For example, Cygwin, Arch Linux, and my android phone all come with > curl by default whereas wget is missing. wget has priority "important" in Debian, while curl is "optional". I don't think it makes much sense to tune the ins