[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Michael Petch
Subject: Re: [Bug-gnubg] How to change the directory where settings saved?
Date: Tue, 29 Oct 2013 10:04:44 -0600
User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.0.1

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]