[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: |
Jeremiah Benham |
Subject: |
Re: [Denemo-devel] google music notation editor + 0.8.6 release |
Date: |
Mon, 15 Jun 2009 10:45:40 -0500 |
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.
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? Do you see any reason I should not keep the ftp
directory updated with git using a cron job? If it is time stamp I could
have the cron job use rsync and sync only files that have changed size.
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, Nils Gey, 2009/06/12
- 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 <=
- 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, 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