Re: [Denemo-devel] Upgrade is missing preferences

[Johan Vromans]

On Fri, 08 Sep 2017 15:13:23 +0100, Richard Shann <address@hidden>
wrote:

> (I notice that your diff command was comparing files of that form
> 
> % diff .denemo-2.1.3-280c7c0/denemorc .denemo-2.2.1-8561e23/denemorc 
> 
> but I don't see how that could have been your problem).

It does seem to be.

I removed all rubbish and renamed .denemo-2.1.3-280c7c0 to .denemo-2.1.3.

 % ls -ld ~/.denemo*
 drwxr-x--- 4 jv jv 4096 Sep  7 22:40 .denemo-2.1.3/

Starting denemo offers to import the old settings, and it works as it
should.

I removed the new .denemo-2.2.1-a7a7d37, moved .denemo-2.1.3 back to
.denemo-2.1.3-280c7c0 and tried again. 

  % ls -ld .denemo*
  drwxr-x--- 4 jv jv 4096 Sep  7 22:40 .denemo-2.1.3-280c7c0/

Denemo offers to import the old settings, but ends up with mostly (all?)
default values.

-- Johan