> Could you please extend this script to support curl also? It seems the
> wget is not installed by default on my system.
I looked at it, but it's a major pain because curl is totally
incompatible. I don't think it's a major burden to install wget?
> > +set -e
> > +
> > +if [ "$1" == "" ] ; then
On Mon, 12 May 2014 15:51:10 -0700, Andi Kleen wrote:
> From: Andi Kleen
>
> Add a downloader to automatically download the right
> files from a download site.
>
> This is implemented as a script calling wget, similar to
> perf archive. The perf driver automatically calls the right
> binary. The d
2 matches
Mail list logo
