Re: [lojban] Have a frequency list generator.

[Robin Lee Powell <rlpowell@digitalkingdom.org>]

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.