Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: best guess record for domain of phma@bezitopo.org designates 45.55.162.231 as permitted sender) client-ip=45.55.162.231;
From: Pierre Abbat <phma@bezitopo.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] Have a frequency list generator.
Date: Tue, 07 Mar 2017 18:18:02 -0500
Message-ID: <3887077.NudddqU6O6@caracal>
User-Agent: KMail/5.1.3 (Linux/4.4.0-62-generic; KDE/5.18.0; x86_64; ; )
In-Reply-To: <20170307063130.GG8398@stodi.digitalkingdom.org>
References: <20170226053737.GL27971@stodi.digitalkingdom.org> <4440781.YnV7aWBpIx@caracal> <20170307063130.GG8398@stodi.digitalkingdom.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
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: -

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.