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: Mon, 13 Mar 2017 15:10:46 -0700
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] Have a frequency list generator.
Message-ID: <20170313221046.GU8398@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Disposition: inline
In-Reply-To: <CAJghkkC9rphp0090MSdL3RRwpsn+eDhJneGRY6KWkN9CCe5QGg@mail.gmail.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: -

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.