[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Denemo-devel] google music notation editor + 0.8.6 release
From: |
Richard Shann |
Subject: |
Re: [Denemo-devel] google music notation editor + 0.8.6 release |
Date: |
Mon, 15 Jun 2009 18:59:00 +0100 |
On Mon, 2009-06-15 at 10:45 -0500, Jeremiah Benham wrote:
> On Mon, 2009-06-15 at 09:16 +0100, Richard Shann wrote:
>
> > We have enough development for a significant release now.
> > If you can do a
> >
> > cp -r denemo/actions/menus/* (ftp://denemo.org)->/download/menus
>
> done.
Great! I have tested the download from within denemo and it appears to
work - took longer than I expected (we have 64k there now) though. Have
not tested the code that accesses the downloaded stuff, will do that
next.
>
> I am curious how denemo know when new version of scripts have been
> placed on the server. Do the scripts have a version number or is it via
> server time stamp?
You are a bit ahead of me - I was counting on the amount of data being
small enough and just getting it all on demand. For a start.
> Do you see any reason I should not keep the ftp
> directory updated with git using a cron job?
Yes, that is what I hoped for.
> If it is time stamp I could
> have the cron job use rsync and sync only files that have changed size.
sounds good!
Richard
>
> Jeremiah
>
>
> > I can test the download-of-new-commands code that is currently in git.
> > (I have written (ftp://denemo.org)-> above because I don't know where it
> > is on your server, of course).
> > A lot of the filling out of the MIDI stuff, (e.g. ppp, pp, mp .....fff)
> > can be done after the release then, with people picking up the new
> > commands from denemo.org.
> >
> > Richard
> >
> >
> >
> >
> >
> >
> >
> >
> >
> > _______________________________________________
> > Denemo-devel mailing list
> > address@hidden
> > http://lists.gnu.org/mailman/listinfo/denemo-devel
>
- Re: [Denemo-devel] google music notation editor, (continued)
- Re: [Denemo-devel] google music notation editor, Jeremiah Benham, 2009/06/12
- Re: [Denemo-devel] google music notation editor, Jeremiah Benham, 2009/06/13
- Re: [Denemo-devel] google music notation editor, Richard Shann, 2009/06/14
- Re: [Denemo-devel] google music notation editor, Jeremiah Benham, 2009/06/14
- Re: [Denemo-devel] google music notation editor, Richard Shann, 2009/06/14
- Re: [Denemo-devel] google music notation editor, Jeremiah Benham, 2009/06/14
- Re: [Denemo-devel] google music notation editor, Richard Shann, 2009/06/14
- Re: [Denemo-devel] google music notation editor, Jeremiah Benham, 2009/06/14
- Re: [Denemo-devel] google music notation editor + 0.8.6 release, Richard Shann, 2009/06/15
- Re: [Denemo-devel] google music notation editor + 0.8.6 release, Jeremiah Benham, 2009/06/15
- Re: [Denemo-devel] google music notation editor + 0.8.6 release,
Richard Shann <=
- Re: [Denemo-devel] google music notation editor + 0.8.6 release, Richard Shann, 2009/06/15
- Re: [Denemo-devel] google music notation editor + 0.8.6 release, Jeremiah Benham, 2009/06/15
- Re: [Denemo-devel] google music notation editor + 0.8.6 release, Richard Shann, 2009/06/16
- Re: [Denemo-devel] google music notation editor + 0.8.6 release, Richard Shann, 2009/06/16