forrest-user mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Dave Brondsema <d...@brondsema.net>
Subject Re: Why set FORREST_HOME?
Date Wed, 10 Nov 2004 22:40:14 GMT
Ross Gardler wrote:
> Moved to dev list as it will get more attention there:
> 
> Ferdinand Soethe wrote:
> 
>> Looking at forrest.bat in Forrest 0.7 I don't understand why you need
>> to set the FORREST_HOME when installing forrest when it is
>> automatically set the way it should be.
>>
>>
>>> rem ----- use the location of this script to infer $FORREST_HOME -------
>>> if NOT "%OS%"=="Windows_NT" set DEFAULT_FORREST_HOME=..
>>> if "%OS%"=="Windows_NT" set DEFAULT_FORREST_HOME=%~dp0\..
>>> if "%OS%"=="WINNT" set DEFAULT_FORREST_HOME=%~dp0\..
>>> if "%FORREST_HOME%"=="" set FORREST_HOME=%DEFAULT_FORREST_HOME%
>>
>>
>>
>> The only things that really needs to be set is the path-variable. That
>> is if you want to be able to start forrest anywhere.
>>
>> Is this one step to save in future releases?
>> Or am I missing something?
>>

Currently the forrestbot (and potentially other programs) uses forrest, 
and so it needs to know where it lives.  It does this with %FORREST_HOME%.

For general use, however, you may be right.  If people wanted to use 
forrestbot, then they would still to set FORREST_HOME, but otherwise it 
wouldn't be needed.

-- 
Dave Brondsema : dave@brondsema.net
http://www.splike.com : programming
http://csx.calvin.edu : student org
http://www.brondsema.net : personal

Mime
View raw message