On 6/25/2014 3:33 PM, 'Terry Brown' via leo-editor wrote:
On Wed, 25 Jun 2014 20:07:19 +0100
dufriz <[email protected]> wrote:
On Wed, Jun 25, 2014 at 7:53 PM, 'Terry Brown' via leo-editor
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.
I guess this is all assuming some degree of familiarity with Linux
scripts (bash etc.).
That is what I feared. This pretty much settles the question for me:
I am staying on Windows, at least as far as Leo is concerned.
It's quite surprising, though, that a premiere open-source piece of
software like Leo is not included in Linux repositories. I would have
expected Linux repositories to be the first place to look for it!
Too bad.
It's tragic if Leo ends up keeping someone stuck in Windows :-}
Would you be comfortable with a copy paste recipe of I'm guessing about
five lines which should install Leo?
Don't try this because I haven't tested it, but it would be something
like:
[open a shell terminal window]
sudo apt-get install python-qt4 python-qscintilla2 python-enchant
sudo apt-get install unzip wget python-docutils python-pygments
mkdir $HOME/Leo
cd $HOME/Leo
wget https://github.com/leo-editor/leo-editor/archive/master.zip
unzip master.zip
I'm just spinning up a Qemu virtual system to test it on.
Any comments on the steps above, anyone? If this works it could go on
the Leo install docs.
The two apt-get lines could easily be compressed into a single line, but
that's less readable.
Also, different distros unfortunately have different package names :(
-->Jake
Cheers -Terry
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
