GNU bug report logs -
#7785
rgrep is broken on woe32
Previous Next
Reported by: Sam Steingold <sds <at> gnu.org>
Date: Tue, 4 Jan 2011 23:41:02 UTC
Severity: normal
Done: Eli Zaretskii <eliz <at> gnu.org>
Bug is archived. No further changes may be made.
Full log
View this message in rfc822 format
Chong Yidong wrote:
> Eli Zaretskii<eliz <at> gnu.org> writes:
>
>> The discussions in that bug report concluded that the program file
>> name after the pipe needs to be quoted, in order for it to work with
>> file names that use forward- and back-slashes alike. I can solve that
>> problem for rgrep (and for other similar commands) by tweaking the
>> templates used by grep.el, so as to quote the %s after the pipe
>> character `|'. Would that be an okay solution?
>
> I think this is an acceptable solution, and agree that changing cmdproxy
> to handle this intelligently sounds like a nightmare.
As long as cmdproxy is meant to pass commands (and in principle; acting
as a proxy and dealing with various shells and with different their
behaviours, requirements) to the particular shell (cmd.exe), it's best
to fix this bug in a cmdproxy, because this bug is only the „problem“ of
the cmd.exe.
This bug report was last modified 14 years and 130 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.