delorie.com/archives/browse.cgi   search  
Mail Archives: djgpp/2002/07/13/11:47:13

From: "deckerben" <deckerben AT freenet DOT de>
Newsgroups: comp.os.msdos.djgpp
References: <3d2f4d48$0$28398$9b622d9e AT news DOT freenet DOT de> <3D2F5A9A DOT 61162235 AT phekda DOT freeserve DOT co DOT uk> <3d2f936f$0$15191$9b622d9e AT news DOT freenet DOT de> <3D2FFC48 DOT 955E90AC AT phekda DOT freeserve DOT co DOT uk>
Subject: Re: _bashrc somewhere else?
Date: Sat, 13 Jul 2002 15:00:30 +0200
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2600.0000
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000
Lines: 29
Message-ID: <3d3023c7$0$8335$9b622d9e@news.freenet.de>
NNTP-Posting-Host: 213.7.5.213
X-Trace: 1026565063 news.freenet.de 8335 213.7.5.213
X-Complaints-To: abuse AT freenet DOT de
To: djgpp AT delorie DOT com
DJ-Gateway: from newsgroup comp.os.msdos.djgpp
Reply-To: djgpp AT delorie DOT com

> I don't know how to achieve what you want. Can't you just source the file
you
> want in your _bashrc? E.g.:
>
>     source ${DJDIR}/etc/profile

I just want to try to keep things together, that's all. I was hoping to
avoid having to put anything in %HOME% --its on a different drive.

> Are you using bash interactively? If so, BASH_ENV is not used. BASH_ENV
will
> only be used, if you're running bash non-interactively - e.g.: if you're
> running a script.

I thought that's what it said, but I couldn't believe that there is _no way_
to set this for interactive mode, too. Pity.

BTW, one very important feature of using _bashrc is the loading of aliases:
alias echo=/dev/env/DJDIR/bin/echo
alias dir=/dev/env/DJDIR/bin/dir

At times, for some reason, BASH seems to use either an internal 'echo' and
'dir' command, or  those from Windows OS, and this can cause configure &
make scripts to return wrong info. I have noticed *big* difference using
these settings in porting various gnu tools like GUILE and DRScheme.

Ben


- Raw text -


  webmaster     delorie software   privacy  
  Copyright © 2019   by DJ Delorie     Updated Jul 2019