Thanks Terry. I didn't know/remember you're not running Windows, else I wouldn't have lobbed it at you first. ;-)
-matt On Fri, Dec 14, 2012 at 6:52 AM, Terry Brown <[email protected]>wrote: > On Thu, 13 Dec 2012 23:59:05 -0800 > Matt Wilkie <[email protected]> wrote: > > > Hi Terry, > > > > Inspired by the recent problem Nils reported with the 4.10 final > installer, > > I've built a batch file to make running the development snapshots a > little > > easier, attached. Here is the header: > > Edward - I haven't tested this batch file to register the .leo > extension and make batch files to run leo in Windows, not using > windows, but it looks useful. Here's the current contents of the Leo > root dir: > > bzr-manifest.txt leo_to_html.xsl pylint-leo.py > INSTALL.TXT LICENSE.TXT README.TXT > launchLeo.py Makefile setup.py > leo PKG-INFO.TXT stand_along_globals.leo > leo.nsi profileLeo.py > leoStandAloneGlobals.py pylint-leo.bat > > so it seems adding another file, create-leobat.bat, can't hurt, do you > agree? > > On the snapshot download page I'll add pointer to the create-leobat.bat > for windows users and I guess it should go in the docs. somewhere also. > > Cheers -Terry > > > {{{ > > @echo > > :: A batch file which generates other batch files to run the Leo Editor, > > :: adapted for the local machine. Optionally, it will also set the > Windows > > :: filetype and association so .leo files can be opened from Explorer. > > :: > > :: It needs to live in the same folder as "launchLeo.py" > > :: > > :: Open Source X/MIT License > > :: initial version * 2012-Dec-13 * matt wilkie <[email protected]> > > }}} > > > > Feel free to use, modify or discard as you see fit. > > > > Although it can register the filetype and association, removing them is > > left as an exercise for the reader (`assoc /? && ftype /?`); maybe later. > > ;-) > > > > cheers, > > > > -matt > > > > -- > You received this message because you are subscribed to the Google Groups > "leo-editor" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/leo-editor?hl=en. > > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
