Received: from mail-pg0-f63.google.com ([74.125.83.63]:34338) by stodi.digitalkingdom.org with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.87) (envelope-from ) id 1cnMoa-0004wW-2r for lojban-list-archive@lojban.org; Mon, 13 Mar 2017 03:03:00 -0700 Received: by mail-pg0-f63.google.com with SMTP id 77sf65146242pgc.1 for ; Mon, 13 Mar 2017 03:02:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:mime-version:in-reply-to:references:from:date:message-id :subject:to:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-spam-checked-in-group :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=oituj43MrNxK0FT/wQw5D+FW4DzMYyJVnsz98XXkDLA=; b=n2wZNC9Q/hhRdPLvzKYwt6RHz3Rla1NMGPtKKg0cpY8RDPzz+MBlLSAdOz6sgkmuua ABoNT6qOyieu9fQQU+WSJeq143l4x5O5jnszzzVdGvR4fbf+okk1NNIjDy/d7BuRuo7V +gF896+0OF5iQmD0Ck9OpnWTyyodIL/7Lh+bh7C3PAs7p/akB6ENEPvJGbDPDArF2DBh /NKXiyzM1TD6ZOWLhdHZndLz7RWIhi4olcgRWlFp16pg1gmhBbJ4P7fj8GDnFaZn4Qe5 a6IXxJiQ3VXmhk2baaW9H+Me7yV76fwkoH9RBv2rhVVC2LBUnFXkBPfj2wWgqUhWDnnc YjmA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=oituj43MrNxK0FT/wQw5D+FW4DzMYyJVnsz98XXkDLA=; b=D7mxpfHRdP2Hp7eP/ZyRarZgBHY8m3pi4AOzOetrM9NNT9h07EBojKBjGnhvZVhShY 7GtQebi9+TU4rFHaDnpsa1vEYBW9xp6BNmSq4MsVSJRSGWei0DVHPef8JqHo9YSnektz U5NQKpupQ6D4b05pWN7rR/Zl02Sj9wnLo3x3+N3H0uHXN5V3IhsNckQScRCcGomX+kiC 731UgCARIf8obWk+XdVE+121MKJMykMW18+lwuw+JJoYhp/LecE5fdsFo7ZcvLw8SKBG FjneEJ5/T+CCypJikVRtFM6ks3HeY7l2n+/lB0h/gR9HSfBDRCKLrU0w1fh1ybbNp775 Lvag== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:in-reply-to:references:from :date:message-id:subject:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=oituj43MrNxK0FT/wQw5D+FW4DzMYyJVnsz98XXkDLA=; b=VMAQAsxMRHMCaltCgemKyNhIiWJNWphk+32pvR21N31H1SuB5fh66V2thjZARdPWwH BedIdKFFkGIYvtZIait1yzCF+8L+k4Wb8yA79sHjtH6l1xfOe0uwN29ai1BrCrrbOfLA eDKAvpyiuVBWKiMjl32QWay6SNCejD8YHfEsoj9v7elLHijfRYnWwEutlfBHzEZdQ73a uQiPoqyrhp/Rocrd4A6BFmIgRE7f1J5Qa6e9guXOLai7BoEOx01hljSLMGPQiwpFloMT GBQuPoNP8iVFBf/+gtIbBkGJGON360vwptazuNRUw8v3eRrOq6aWJUTqb2dk897DyOJ+ GFHw== Sender: lojban@googlegroups.com X-Gm-Message-State: AFeK/H1BIU+D7aLnlkEuWXHU8fZYhkaDey4kk59ctmAD0yoIk3rfpqyQubhmutksYu1tJQ== X-Received: by 10.36.79.207 with SMTP id c198mr406240itb.0.1489399369581; Mon, 13 Mar 2017 03:02:49 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.107.162.197 with SMTP id l188ls3865390ioe.23.gmail; Mon, 13 Mar 2017 03:02:49 -0700 (PDT) X-Received: by 10.36.35.134 with SMTP id u128mr5984itu.19.1489399368968; Mon, 13 Mar 2017 03:02:48 -0700 (PDT) Received: from mail-qk0-x22d.google.com (mail-qk0-x22d.google.com. [2607:f8b0:400d:c09::22d]) by gmr-mx.google.com with ESMTPS id y63si2221711ywe.5.2017.03.13.03.02.48 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 13 Mar 2017 03:02:48 -0700 (PDT) Received-SPF: pass (google.com: domain of danmo.rozgu@gmail.com designates 2607:f8b0:400d:c09::22d as permitted sender) client-ip=2607:f8b0:400d:c09::22d; Received: by mail-qk0-x22d.google.com with SMTP id y76so218301590qkb.0 for ; Mon, 13 Mar 2017 03:02:48 -0700 (PDT) X-Received: by 10.55.75.202 with SMTP id y193mr29398461qka.256.1489399368690; Mon, 13 Mar 2017 03:02:48 -0700 (PDT) MIME-Version: 1.0 Received: by 10.12.174.37 with HTTP; Mon, 13 Mar 2017 03:02:48 -0700 (PDT) In-Reply-To: <3887077.NudddqU6O6@caracal> References: <20170226053737.GL27971@stodi.digitalkingdom.org> <4440781.YnV7aWBpIx@caracal> <20170307063130.GG8398@stodi.digitalkingdom.org> <3887077.NudddqU6O6@caracal> From: danmo rozgu Date: Mon, 13 Mar 2017 11:02:48 +0100 Message-ID: Subject: Re: [lojban] Have a frequency list generator. To: lojban@googlegroups.com Content-Type: multipart/alternative; boundary=001a114a93064cb46a054a99d0b7 X-Original-Sender: danmo.rozgu@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com; spf=pass (google.com: domain of danmo.rozgu@gmail.com designates 2607:f8b0:400d:c09::22d as permitted sender) smtp.mailfrom=danmo.rozgu@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Spam-Checked-In-Group: lojban@googlegroups.com X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , X-Spam-Score: -2.0 (--) X-Spam_score: -2.0 X-Spam_score_int: -19 X-Spam_bar: -- --001a114a93064cb46a054a99d0b7 Content-Type: text/plain; charset=UTF-8 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 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. --001a114a93064cb46a054a99d0b7 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
This is what docker refers to these days:=C2=A0https://www.docker.com/

u&#= 39;a bu'o dai

On Wed, Mar 8, 2017 at 12:18 AM, Pierre Abbat <phma@bezitopo.o= rg> 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 w= ithout
> 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 &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+uns= ubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at https://groups.google.com/group/lojb= an.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to
lojban+unsub= scribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http= s://groups.google.com/group/lojban.
For more options, visit http= s://groups.google.com/d/optout.
--001a114a93064cb46a054a99d0b7--