On Sat, Mar 26, 2011 at 11:41:38PM +0100, Francois Tigeot <ftig...@wolfpond.org> wrote: > I've recently been bitten by the 'download' script, which was > unable to use curl, even tough it is in my $PATH. > > The attached patch replaces the strange and broken lookup logic > present in the script by a single 'which' command. > > If there is no objection, I'll push this patch in a few days.
Hi Francois, Won't this case a warning bash: curl: command not found on machines without curl? Maybe a better approarch is to see if `type -p curl` returns anything.
pgpxiHa6Pe19H.pgp
Description: PGP signature
_______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice
