Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.236 as permitted sender) client-ip=173.13.139.236;
Date: Tue, 14 Mar 2017 23:35:13 -0700
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] Have a frequency list generator.
Message-ID: <20170315063513.GY8398@stodi.digitalkingdom.org>
Mail-Followup-To: lojban@googlegroups.com
References: <20170226053737.GL27971@stodi.digitalkingdom.org>
 <4440781.YnV7aWBpIx@caracal>
 <20170307063130.GG8398@stodi.digitalkingdom.org>
 <3887077.NudddqU6O6@caracal>
 <CAJghkkC9rphp0090MSdL3RRwpsn+eDhJneGRY6KWkN9CCe5QGg@mail.gmail.com>
 <20170313221046.GU8398@stodi.digitalkingdom.org>
 <20170315033355.GA10263@panix.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Disposition: inline
In-Reply-To: <20170315033355.GA10263@panix.com>
User-Agent: Mutt/1.7.1 (2016-10-04)
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

Sure; feel free.  Docker is how I abstract out complicated-ish
toolchains these days, but there's nothing stopping you from reverse
engineering it from the Dockerfile.

On Tue, Mar 14, 2017 at 11:33:56PM -0400, Amanda Babcock Furrow wrote:
> I'm curious why freq even needs docker.  It looks like it's a ruby 
> script and some shell scripts?  Couldn't we just use those natively 
> in our own OS?
> 
> mi'e la clakre
> 
> On Mon, Mar 13, 2017 at 03:10:46PM -0700, Robin Lee Powell wrote:
> > Sorry I hadn't seen this.
> > 
> > https://docs.docker.com/engine/installation/linux/ubuntu/#install-using-the-repository
> > 
> > On Mon, Mar 13, 2017 at 11:02:48AM +0100, danmo rozgu wrote:
> > > This is what docker refers to these days: https://www.docker.com/
> > > 
> > > u'a bu'o dai
> > > 
> > > On Wed, Mar 8, 2017 at 12:18 AM, Pierre Abbat <phma@bezitopo.org> wrote:
> > > 
> > > > On Monday, March 6, 2017 10:31:30 PM EST Robin Lee Powell wrote:
> > > > > My system uses sudo to run docker; if you're able to run docker
> > > > > without root on your system, by all means edit the script.
> > > >
> > > > I'm not even sure that the docker package is the same docker you're talking
> > > > about. The description is:
> > > >
> > > > > Docker is a docking application (WindowMaker dock app) which acts as a
> > > > > system
> > > > > tray for any desktop environment, allowing you to have a system tray
> > > > without
> > > > > running the KDE/GNOME panel Docker was designed to work with Openbox 2,
> > > > but
> > > > > it should work fine in any window manager.
> > > >
> > > > I'm running Ubuntu Xenial. There are lots of packages with "docker" in
> > > > their
> > > > names, but none is installed. Which should I install?
> > > >
> > > > Pierre
> > > > --
> > > > ve ka'a ro klaji la .romas. se jmaji
> > > >
> > > > --
> > > > You received this message because you are subscribed to the Google Groups
> > > > "lojban" group.
> > > > To unsubscribe from this group and stop receiving emails from it, send an
> > > > email to lojban+unsubscribe@googlegroups.com.
> > > > To post to this group, send email to lojban@googlegroups.com.
> > > > Visit this group at https://groups.google.com/group/lojban.
> > > > For more options, visit https://groups.google.com/d/optout.
> > > >
> > > 
> > > -- 
> > > You received this message because you are subscribed to the Google Groups "lojban" group.
> > > To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
> > > To post to this group, send email to lojban@googlegroups.com.
> > > Visit this group at https://groups.google.com/group/lojban.
> > > For more options, visit https://groups.google.com/d/optout.
> > 
> > -- 
> > You received this message because you are subscribed to the Google Groups "lojban" group.
> > To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
> > To post to this group, send email to lojban@googlegroups.com.
> > Visit this group at https://groups.google.com/group/lojban.
> > For more options, visit https://groups.google.com/d/optout.
> 
> -- 
> You received this message because you are subscribed to the Google Groups "lojban" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
> To post to this group, send email to lojban@googlegroups.com.
> Visit this group at https://groups.google.com/group/lojban.
> For more options, visit https://groups.google.com/d/optout.
> 

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.