On Wed, 25 Jun 2014 11:26:03 -0700 (PDT) duf...@gmail.com wrote: > I have just installed the latest Linux Mint (v17, Mate), and it's the > first Linux installation that I am actually planning to use, after > having tried and tested many other distros. > I am having difficulties in finding Leo in the repository.
Leo hasn't made it into the Ubuntu and related repositories, mostly lack of developer time and developer knowledge, I don't know anything about building packages. At one time Ville had a PPA for some releases of Leo, but those would be stale by now. Anyone who wants to lead the charge on getting Leo into the Ubuntu repos., that would be great. Chris's instructions cover using the current development version, I think there was a typo, should have been: mkdir leo cd leo git clone https://github.com/leo-editor/leo-editor.git And you can also just grab https://github.com/leo-editor/leo-editor/archive/master.zip and set up a script file to run launchLeo.py for that. I guess this is all assuming some degree of familiarity with Linux scripts (bash etc.). Cheers -Terry > >From the Synaptic Package Manager's search box I type in "Leo", but > >none of > the results seems to be the right one. > Likewise, the search results in the Software Manager do not point to > anything that resembles Leo. > > I don't know where else to look for it. > I have noticed that some users on this forum use Leo on Linux, and at > least one (Chris) uses Linux Mint. > > Could you please provide some instructions? > > Also, will the PyQt dependencies be downloaded and installed > automatically by the Package/Software manager? In Windows I did it > manually without any problems, but in Linux this is supposed to be > automatic, as far as I understand. Only, I am not sure. > > Any help will be appreciated. > > Thanks > > Dufriz > > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
