Many thanks! I will try installing Denemo again on my Windows machine later today. I will also follow up after I have a chance to explore the Linux installation.
On Wed, Sep 20, 2017 at 12:47 PM Richard Shann <rich...@rshann.plus.com> wrote: > On Tue, 2017-09-19 at 19:41 +0000, NagyMusic wrote: > > I also tried an alternative to use Denemo without installing, which > > didn't seem to work either. > > > I think you may have stumbled on a problem previously reported on this > list: > > On Tue, 2017-08-22 at 16:49 +0100, Joe Wilkinson wrote: > > Incidentally, I am sure this i a fault on my Windows 10 machine, but > > unzipping the development version has started taking ages, over an > > hour. (As of a month ago). Have any other windows users reported > > problems? > > He later reported: > > On Tue, 2017-08-22 at 16:55 +0100, Joe Wilkinson wrote: > > Just tried GZIP. much faster; half the time of previous acceptable > > speed > > > in Windows 10 > > So it would seem you need to wait a long time for the zip version to > extract on Windows 10. It also indicates that Denemo *is* working ok > under Windows 10. > > Richard > > >
_______________________________________________ Denemo-devel mailing list Denemo-devel@gnu.org https://lists.gnu.org/mailman/listinfo/denemo-devel
