On Thu, Dec 20, 2018 at 08:35:57PM +0100, Johannes Schindelin wrote: > > I do wonder if we'll run into problems on Windows, though. > > As long as we're talking about Unix shell scripts, /dev/zero should be > fine, as we are essentially running in a variant of Cygwin. > > If you try to pass /dev/zero as an argument to a Git command, that's an > entirely different thing: this most likely won't work. Thanks for confirming. We're talking about passing it to dd here, so I think it should be OK. -Peff