I jumped the gun. Apparently it takes while to upload 128.1MB.
On Monday, November 17, 2014 1:49:54 PM UTC-8, Terry Brown wrote: > > On Mon, 17 Nov 2014 13:41:36 -0800 (PST) > Chris George <[email protected] <javascript:>> wrote: > > > I have built a deb file from the latest git pull. Can anyone test it? > > I use Chakra as a distribution, which doesn't use deb or rpm. > > > > https://www.wuala.com/technatica/Documents/temp/?key=8LhJkZwO0Rp1 > > > > Clicking on that link took me to an empty folder. > > Cheers -Terry > > > > > On Monday, November 17, 2014 1:02:58 PM UTC-8, Chris George wrote: > > > > > > This tool will likely save time. It can start with a directory and > > > build rpm, deb and even pkg files for Mac. > > > > > > https://github.com/jordansissel/fpm > > > > > > I will install it later and poke around to see how hard it is to > > > build. > > > > > > Chris > > > > > > On Monday, November 17, 2014 5:31:38 AM UTC-8, Edward K. Ream wrote: > > >> > > >> The present install.txt recommends running the install script with > > >> sudo ./install (See the P.S.). > > >> > > >> But the install script no longer exists at the top level. What > > >> should the docs say? That is, what is the easiest way to install > > >> on Linux? > > >> > > >> Edward > > >> > > >> P.S. Here is the part of install.txt relating to Linux > > >> > > >> 1. You can run Leo from your home directory. > > >> Just add ~/leo-5-0 to your path. > > >> > > >> 2. You can install leo into /usr/local/lib and /usr/local/bin by > > >> running Leo's install script as follows:: > > >> > > >> cd ~/leo-5-0-a1 # Change version as appropriate. > > >> chmod u+x install > > >> sudo ./install > > >> > > >> EKR > > >> > > > > > > -- 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.
