[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#7785: rgrep is broken on woe32
From: |
Eli Zaretskii |
Subject: |
bug#7785: rgrep is broken on woe32 |
Date: |
Thu, 06 Jan 2011 11:07:13 -0500 |
> Date: Thu, 6 Jan 2011 10:25:42 -0500
> From: Sam Steingold <sds@gnu.org>
> Cc: ofv@wanadoo.es, 7785@debbugs.gnu.org, 6784@debbugs.gnu.org
>
> 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?
cmdproxy does not reimplement cmd. It is really just a proxy to cmd,
designed to fix a few idiosyncrasies, and that's it. When cmdproxy
concludes that a shell is needed, it invokes cmd (or some other
shell). This part of the commentary at the beginning of cmdproxy.c
should tell the story:
Accepts subset of Unix sh(1) command-line options, for compatibility
with elisp code written for Unix. When possible, executes external
programs directly (a common use of /bin/sh by Emacs), otherwise
invokes the user-specified command processor to handle built-in shell
commands, batch files and interactive mode.
The main function is simply to process the "-c string" option in the
way /bin/sh does, since the standard Windows command shells use the
convention that everything after "/c" (the Windows equivalent of
"-c") is the input string.
- 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, 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 <=
- 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
- bug#7785: rgrep is broken on woe32, Sam Steingold, 2011/01/05