[Maxima] can maxima_userdir be changed?
Billinghurst, David (RTATECH)
David.Billinghurst at riotinto.com
Wed May 16 23:40:56 CDT 2007
> From: Ryan Krauss
> Is it possible to change the path for maxima_userdir? My computer is
> dual boot and most of my stuff is on a fat32 partition on my E: drive.
> My HOME environment variable is defined to be E:. Is it possible to
> set an environment variable or start up parameter that would change
> where maxima will look for maxima-init.mac?
> Currently I have
> (%o56) C:/Documents and Settings/rkrauss/maxima
This is set in C:\Program Files\Maxima-5.x.y\bin\maxima.bat.
if "%USERPROFILE%" == "" goto win9x
if "%MAXIMA_USERDIR%" == "" set MAXIMA_USERDIR=%USERPROFILE%\maxima
if "%MAXIMA_TEMPDIR%" == "" set MAXIMA_TEMPDIR=%USERPROFILE%
if "%MAXIMA_USERDIR%" == "" set MAXIMA_USERDIR=%maxima_prefix%\user
if "%MAXIMA_TEMPDIR%" == "" set MAXIMA_TEMPDIR=%maxima_prefix%
so you should be able to change it by setting the environment
variable in the usual ways or by hard coding it into the bat file.
PS: I haven't actually tried this.
This e-mail and any attachments are private and confidential and may contain privileged information. If you are not an authorised recipient, the copying or distribution of this e-mail and any attachments is prohibited and you must not read, print or act in reliance on this e-mail or attachments.
This notice should not be removed.
More information about the Maxima