Mail Archives: djgpp/2002/07/13/11:47:13
> 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 -