> -----Original Message----- > From: David A. Desrosiers [mailto:[EMAIL PROTECTED]] > Sent: Thursday, July 25, 2002 2:13 PM > To: [EMAIL PROTECTED] > Subject: Re: alpha jar file containing Plucker distiller now available > > > Apparently on Windows os.path.expanduser doesn't do quite > > what one might hope. Some Windows user will have to come > > up with a fix for this. I can put in a check and error out, > > though. > > Does Windows expand $HOME to something usable? Perhaps > $HOME/.pluckerrc instead of the standard ~/.pluckerrc. > Maybe Dirk has some ideas on this.
The problem with that is that by default, $HOME is not set under Windows, so there will be nothing to expand. It's a single user machine, so the concept of a home directory is normally superfluous. If you _do_ happen to set HOME to something, it will be expanded -- witness what happens with Cygwin. I suppose the Java parser could just error out, with a message that HOME needs to be set to something, and let the user determine what that should be. A better alternative, if possible, is for the Java parser to assume PLUCKERHOME is wherever Plucker is installed, unless explicitly told otherwise. (IE: if $PLUCKERHOME _is_ defined in the environment, use that value, else default to Plucker install dir.) ______ Dennis
