[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnulib-tool: Fallback to wget when rsync fails
From: |
Ben Pfaff |
Subject: |
Re: [PATCH] gnulib-tool: Fallback to wget when rsync fails |
Date: |
Tue, 2 Sep 2014 08:06:32 -0700 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Tue, Sep 02, 2014 at 12:22:54PM +0200, Mathieu Anquetin wrote:
> Current implementation only tries to rsync PO files when rsync is
> installed on the host. In case of error, no files are downloaded even
> if they are available. This leads to bootstrap problems for hosts
> that lie behind a restrictive firewall.
>
> This patch always tries to rsync by default, falling back to wget if
> an error occurs.
>
> Signed-off-by: Mathieu Anquetin <address@hidden>
Looking at wget(1), I'm a little surprised that the selected options
appear to avoid clobbering files whose names conflict. I would have
expected that we'd want to overwrite them, to get the fresher version.
But the existing wget invocation does the same thing, so maybe it's
intentional?