Re: [PATCH] launch_editor(): allow spaces in the filename

Johannes Schindelin [off-list ref] writes:

For some reason, the construct

	sh -c "$0 \"$@\"" <editor> <file>

does not pick up quotes in <editor> as expected.  So replace $0 with
<editor>.

That's not "for some reason" but "I am asking shell to split", and

	sh -c '"$@"' ignoreme <editor> <files>...

would work better ;-).