| www.delorie.com/archives/browse.cgi | search |
| X-Authentication-Warning: | delorie.com: mail set sender to djgpp-bounces using -f |
| From: | Rugxulo <rugxulo AT gmail DOT com> |
| Newsgroups: | comp.os.msdos.djgpp |
| Subject: | Re: Set default options |
| Date: | Wed, 16 Sep 2009 08:28:55 -0700 (PDT) |
| Organization: | http://groups.google.com |
| Lines: | 20 |
| Message-ID: | <1b70ecfc-5216-40bf-bb0e-acdb3f16ebdc@r33g2000vbp.googlegroups.com> |
| References: | <7gvrf4F2qu23dU1 AT mid DOT individual DOT net> <83eiqc1t9s DOT fsf AT gnu DOT org> |
| NNTP-Posting-Host: | 173.18.23.179 |
| Mime-Version: | 1.0 |
| X-Trace: | posting.google.com 1253114935 8032 127.0.0.1 (16 Sep 2009 15:28:55 GMT) |
| X-Complaints-To: | groups-abuse AT google DOT com |
| NNTP-Posting-Date: | Wed, 16 Sep 2009 15:28:55 +0000 (UTC) |
| Complaints-To: | groups-abuse AT google DOT com |
| Injection-Info: | r33g2000vbp.googlegroups.com; posting-host=173.18.23.179; |
| posting-account=p5rsXQoAAAB8KPnVlgg9E_vlm2dvVhfO | |
| User-Agent: | G2/1.0 |
| X-HTTP-UserAgent: | Opera/9.52 (Windows NT 5.1; U; en),gzip(gfe),gzip(gfe) |
| To: | djgpp AT delorie DOT com |
| DJ-Gateway: | from newsgroup comp.os.msdos.djgpp |
| Reply-To: | djgpp AT delorie DOT com |
Hi, On Sep 12, 3:06=A0am, Eli Zaretskii <e DOT DOT DOT AT gnu DOT org> wrote: > > From: Robert Riebisch <Robert DOT Riebi DOT DOT DOT AT arcor DOT de> > > Date: Fri, 11 Sep 2009 22:49:40 +0200 > > > I use GNU diffutils very often. Shell is either command.com / cmd.exe o= r > > bash.exe Is there any way to pass some default options to diff.exe? I'd > > like to make "-aprNU5" default. > > You could define an alias in both Bash and cmd.exe (but not in > command.com, AFAIK). =A0With cmd.exe, you say something like this > (untested): > > =A0 =A0 doskey diff=3Ddiff -aprNU5 $* Yes, that sounds right. Of course, CMD won't let you use aliases inside .BAT scripts (while 4DOS or Bash will). What is the ideal place for Bash, inside _bashrc?
| webmaster | delorie software privacy |
| Copyright © 2019 by DJ Delorie | Updated Jul 2019 |