Re: [Bug-gnubg] problem with player records

[Joern Thyssen]

On Sat, Feb 15, 2003 at 01:08:00PM +0100, Peter Sochovsky wrote
> I ve just downloaded the latest installation archive (Feb. 15th) and still
> have the following problem:
> 
> When trying to erase one or all player(s) in the player records, gnubg shows
> a window saying:
> 
> ./.gnubgpr: Permissin denied
> 
> I know that this problem has already been reported but is obviously still
> not soved!!

Nardy found out what the problem was: it's illegal to rename a file to a
filename that starts with a dot!

gnubg writes the updated player records to .gnubgprXXXXXX, deletes
.gnubgpr, and rename .gnubgprXXXXXX to .gnubgpr. The last step is
illegal on wintendo systems. 

I've a uncommitted fix for this:

I simply suggest to move the player records file into the .gnubg
directory (where the user defined boards reside) and rename it to
gnubgpr without the leading dot. 

Any comments from the other developers?

Jørn