Re: [Bug-gnubg] How to change the directory where settings saved?

[Michael Petch]

On 2013-10-29 01:27, Guido Flohr wrote:
> Another small caveat: In order to make that work, you have to manually
> create the directory that $HOME resp. $USERPROFILE points to. The
> subdirectory ".gnubg" will be created on the fly. Guido 

This only deals with one of the issues present, and at present has a
solution. This doesn't resolve the problem of actual data files being
written to gnubgautorc that are potentially outside the user's home
directory and are in locations relative to the media device that GNUBG
is installed on in a portable environment. As it stands sound files, MET
files, and related entries that have absolute paths written out become a
problem, and that is actually the primary issue that needs to be looked
at. That is where an independent (from home directory) environment
variable that GNUBG can look at becomes handy to make path decisions.

-- 
Michael Petch
GNU Backgammon Maintainer / Developer
OpenPGP FingerPrint=D81C 6A0D 987E 7DA5 3219 6715 466A 2ACE 5CAE 3304