| delorie.com/archives/browse.cgi | search |
| Mailing-List: | contact cygwin-help AT cygwin DOT com; run by ezmlm |
| List-Subscribe: | <mailto:cygwin-subscribe AT cygwin DOT com> |
| List-Archive: | <http://sourceware.org/ml/cygwin/> |
| List-Post: | <mailto:cygwin AT cygwin DOT com> |
| List-Help: | <mailto:cygwin-help AT cygwin DOT com>, <http://sourceware.org/ml/#faqs> |
| Sender: | cygwin-owner AT cygwin DOT com |
| Mail-Followup-To: | cygwin AT cygwin DOT com |
| Delivered-To: | mailing list cygwin AT cygwin DOT com |
| Message-ID: | <03ec01c4c506$b2e90db0$e6ec6f83@robinson.cam.ac.uk> |
| From: | "Max Bowsher" <maxb AT ukf DOT net> |
| To: | <cygwin AT cygwin DOT com> |
| References: | <Pine DOT GSO DOT 4 DOT 61 DOT 0411041720381 DOT 295 AT slinky DOT cs DOT nyu DOT edu> |
| Subject: | Re: [Bug?] patchutils: interdiff /dev/stdin ... doesn't work |
| Date: | Sun, 7 Nov 2004 20:16:21 -0000 |
| MIME-Version: | 1.0 |
| X-Cam-ScannerInfo: | http://www.cam.ac.uk/cs/email/scanner/ |
| X-Cam-AntiVirus: | No virus found |
| X-Cam-SpamDetails: | Not scanned |
| X-IsSubscribed: | yes |
| Note-from-DJ: | This may be spam |
Igor Pechtchanski wrote: > Hi, > > I tried running interdiff on standard input, following the example from > the interdiff manpage: > > Reversing part of a patch (and ignoring the rest): > > filterdiff -i file.c patchfile | \ > interdiff /dev/stdin /dev/null > > The command I used was > > cvs diff -rHEAD | interdiff /dev/stdin /dev/null > > and got a "/dev/stdin: No such file or directory" message from interdiff. > While I realize that there's no system-level support for /dev/stdin in > Cygwin (though bash does support it), using "-" didn't work either. Is > this a known limitation of patchutils? Patchutils has no special handling of "-" as an argument. Max. -- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Problem reports: http://cygwin.com/problems.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/
| webmaster | delorie software privacy |
| Copyright © 2019 by DJ Delorie | Updated Jul 2019 |