www.delorie.com/archives/browse.cgi   search  
Mail Archives: djgpp/2002/07/12/20:24:39

From: Richard Dawe <rich AT phekda DOT freeserve DOT co DOT uk>
Newsgroups: comp.os.msdos.djgpp
Subject: Re: _bashrc somewhere else?
Date: Fri, 12 Jul 2002 23:39:22 +0100
Lines: 22
Message-ID: <3D2F5A9A.61162235@phekda.freeserve.co.uk>
References: <3d2f4d48$0$28398$9b622d9e AT news DOT freenet DOT de>
NNTP-Posting-Host: modem-233.tin.dialup.pol.co.uk
Mime-Version: 1.0
X-Trace: newsg3.svr.pol.co.uk 1026514755 1630 62.136.41.233 (12 Jul 2002 22:59:15 GMT)
NNTP-Posting-Date: 12 Jul 2002 22:59:15 GMT
X-Complaints-To: abuse AT theplanet DOT net
X-Mailer: Mozilla 4.77 [en] (X11; U; Linux 2.2.19 i586)
X-Accept-Language: de,fr
To: djgpp AT delorie DOT com
DJ-Gateway: from newsgroup comp.os.msdos.djgpp
Reply-To: djgpp AT delorie DOT com

Hello.

deckerben wrote:
> Is there a way to set BASH_ENV in DOS so that it looks somewhere else
> besides %HOME%\_bashrc for it's startup settings? I tried something like:
> 
> set BASH_ENV=/dev/env/DJDIR/etc/profile
> set BASH_ENV=D:\user\DJGPP\etc\profile
> 
> but nothing seems to work.

It says on the bash man page.

"When bash is started non-interactively,  to  run  a  shell
script, for example, it looks for the variable BASH_ENV in
the environment, expands its value if  it  appears  there,
and  uses the expanded value as the name of a file to read
and execute.  Bash behaves as  if  the  following  command
were executed:
       if [ -n "$BASH_ENV" ]; then . "$BASH_ENV"; fi
but  the  value of the PATH variable is not used to search
for the file name."

- Raw text -


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