bug fix for --os-shell on Windows (echo ... > requires double quotes if the piped filename contains whitespace, otherwise doesn't hurt)
bug fix for --os-shell on Windows (echo ... > requires double quotes if the piped filename contains whitespace, otherwise doesn't hurt)


dtrip/.ubuntu,dtrip/.ubuntu,RexGene/monsu-server,RexGene/monsu-server