[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#6784: bug#7785: rgrep is broken on woe32
From: |
Chong Yidong |
Subject: |
bug#6784: bug#7785: rgrep is broken on woe32 |
Date: |
Sat, 08 Jan 2011 16:00:43 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) |
Eli Zaretskii <eliz@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.
> The disadvantage is, of course, that similar solutions will have to be
> implemented for each Emacs command that launches a shell pipeline.
Let's just fix these individually as the problems are reported.
- bug#7785: rgrep is broken on woe32, (continued)
- bug#7785: rgrep is broken on woe32, Sam Steingold, 2011/01/05
- bug#7785: rgrep is broken on woe32, Óscar Fuentes, 2011/01/05
- bug#7785: rgrep is broken on woe32, Sam Steingold, 2011/01/05
- bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/05
- bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/05
- bug#7785: rgrep is broken on woe32, Óscar Fuentes, 2011/01/05
- bug#7785: rgrep is broken on woe32, Sam Steingold, 2011/01/05
- bug#6784: bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/06
- bug#6784: bug#7785: rgrep is broken on woe32, Sam Steingold, 2011/01/06
- bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/06
- bug#6784: bug#7785: rgrep is broken on woe32,
Chong Yidong <=
- bug#7785: bug#6784: bug#7785: rgrep is broken on woe32, Laimonas Vėbra, 2011/01/08
- bug#7785: bug#6784: bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/09
- bug#7785: bug#6784: bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/09
- bug#7785: bug#6784: bug#7785: rgrep is broken on woe32, Michael Albinus, 2011/01/09
- bug#6784: bug#7785: rgrep is broken on woe32, Michael Albinus, 2011/01/10
- bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/05
- bug#7785: rgrep is broken on woe32, Sam Steingold, 2011/01/05
- bug#7785: rgrep is broken on woe32, Sam Steingold, 2011/01/05
- bug#7785: rgrep is broken on woe32, Sam Steingold, 2011/01/05
- bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/06