[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] Have a frequency list generator.



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.