[opentheory-users] Fwd: tool config file

[Joe Hurd]

I'm cc'ing this thread to the opentheory mailing list, to keep people informed.

Cheers,

Joe

---------- Forwarded message ----------
From: Joe Hurd <opentheory-users-owner at gilith.com>
Date: Thu, Oct 6, 2011 at 6:23 PM
Subject: Re: tool config file
To: Ramana Kumar <ramana.kumar at gmail.com>


Hi Ramana,

How about an environment variable? I've just released a version that
uses the directory in the OPENTHEORY environment variable as the
theory directory, if it exists.

Cheers,

Joe

On Thu, Oct 6, 2011 at 3:42 AM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
> Is it possible to specify, perhaps in something like an
> ~/.opentheoryrc file, a default root directory and maybe other
> options?
>
> Then I wouldn't have to keep specifying the -d option whenever I use
> the tool if I am using a non-standard directory location.
>
>