[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-gnubg] GNUBg Win32 Index
From: |
Joern Thyssen |
Subject: |
Re: [Bug-gnubg] GNUBg Win32 Index |
Date: |
Sat, 25 Jan 2003 10:10:18 +0000 |
User-agent: |
Mutt/1.4i |
On Sat, Jan 25, 2003 at 10:38:12AM +0100, Nardy Pillards wrote
> From: "Joern Thyssen" <address@hidden>
> Sent: Saturday, January 25, 2003 9:50 AM
> > Two possible solutions:
> >
> > (1) move the .gnubgpr file into the .gnubg directory and rename it to
> > gnubgpr (without the leading dot)
> >
> > (2) if it's possible to rename gnubgprXXXX to .gnubgpr we can
> > leave out the leading dot on the temp file.
> >
> > If we go for solution (1) we have to tell all users to move their
> > .gnubgpr file into .gnubg/gnubgpr or provide some code that does it for
> > them.
> >
> > Jørn
>
> Windows: it's possible to rename .whatever to something.whatever,
> but not:
> something.whatever to .whatever
>
> But it is possible to read .whatever into Notepad, make changes and Save,
> and also:
> Open Notepad, write something, Save As .whatever
>
> Thus: If (1) and (2) are the choices, only (1) stands.
Any objections to this?
Assuming we go for solution (1): is this a fix for 0.13 or for HEAD?
Jørn
Re: [Bug-gnubg] GNUBg Win32 Index, Nardy Pillards, 2003/01/24