Am 03.11.2016 um 21:44 schrieb Jeff King:
On Thu, Nov 03, 2016 at 09:40:01PM +0100, Johannes Sixt wrote:
We have to use $PWD instead of $(pwd) because on Windows...
Thanks. I have to admit I remain confused about which one to use at any
given invocation
No worries. It *is* complex, and I don't expect anyone who is not deep
in the business to get this thing right except by mere chance.
(I would have thought that switching to $PWD causes
problems elsewhere in the script, but I guess file redirection is
capable of handling either type).
Correct.
-- Hannes