[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#6784: bug#7785: rgrep is broken on woe32
From: |
Sam Steingold |
Subject: |
bug#6784: bug#7785: rgrep is broken on woe32 |
Date: |
Thu, 6 Jan 2011 10:25:42 -0500 |
On Thu, Jan 6, 2011 at 7:09 AM, Eli Zaretskii <eliz@gnu.org> wrote:
>> Date: Wed, 5 Jan 2011 17:43:15 -0500
>> From: Sam Steingold <sds@gnu.org>
>> Cc: Eli Zaretskii <eliz@gnu.org>, 7785@debbugs.gnu.org
>>
>> On Wed, Jan 5, 2011 at 5:29 PM, Óscar Fuentes <ofv@wanadoo.es> wrote:
>> > http://debbugs.gnu.org/cgi/bugreport.cgi?bug=6784
>> definitely. is that bug going to be fixed?
> ... Would that be an okay solution?
any solution which fixes my problem is OK :-)
> Comments?
the problems you describe seem to boil down to re-implementing cmd in cmdproxy.
this begs the question, why does emacs have to provide cmdproxy?
why not use cmd provided by windows?
--
Sam Steingold <http://sds.podval.org>
- bug#7785: rgrep is broken on woe32, (continued)
- 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, Ó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 <=
- bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/06
- bug#6784: bug#7785: rgrep is broken on woe32, Chong Yidong, 2011/01/08
- 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