Received: from mail-qk0-f189.google.com ([209.85.220.189]:32875) by stodi.digitalkingdom.org with esmtps (TLSv1.2:AES128-GCM-SHA256:128) (Exim 4.85) (envelope-from ) id 1Zk6C7-0002w0-71 for lojban-list-archive@lojban.org; Thu, 08 Oct 2015 01:04:57 -0700 Received: by qkao72 with SMTP id o72sf7308207qka.0 for ; Thu, 08 Oct 2015 01:04:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:subject:message-id:mail-followup-to:references :mime-version:content-type:content-disposition:in-reply-to :user-agent: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:sender:list-subscribe :list-unsubscribe; bh=0e7LHCR9ypcvCD9jkQ5N38QCGJfZlVwdk1Cy+aHBmpI=; b=Of5eCBjHOcg6sz8l4l6VQl9i3UYiJ2k5gYaYCEdojWywWBk+ObomZ4e9Yd+Zm+N7Be mLZZp4cpY5LAtHiEPTRrc3JA/HFCK3McRJDuBtQ35C1VCvXPLDeIYHHRF3mmPF8Kb5Dl WMteUnv/wyb6tzNhJzM9cZLtYUb3otD+z9f3wtT5am1qznvQypZZjVhqaifA8zXjkgBm kOLUlqr/JPoQLFAhSqrLpVnPq3WBj5k/O4s1rSGp1GNzMchi/Qd3ye4mBU9WK6tAD/WX xZjpg36oNoAxl4mywpVBziwL/UWg9tQ7wcT7/a8cPJ012+1uK39i5VnmAQINNJj64Qf+ dHIQ== X-Received: by 10.50.142.9 with SMTP id rs9mr20373igb.6.1444291488448; Thu, 08 Oct 2015 01:04:48 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.50.110.4 with SMTP id hw4ls121927igb.28.gmail; Thu, 08 Oct 2015 01:04:47 -0700 (PDT) X-Received: by 10.50.62.148 with SMTP id y20mr1859069igr.0.1444291487922; Thu, 08 Oct 2015 01:04:47 -0700 (PDT) Received: from stodi.digitalkingdom.org (mail.digitalkingdom.org. [173.13.139.236]) by gmr-mx.google.com with ESMTPS id zg1si5611104pbb.2.2015.10.08.01.04.47 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 08 Oct 2015 01:04:47 -0700 (PDT) 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; Received: from rlpowell by stodi.digitalkingdom.org with local (Exim 4.85) (envelope-from ) id 1Zk6By-0002vg-Q3 for lojban@googlegroups.com; Thu, 08 Oct 2015 01:04:46 -0700 Date: Thu, 8 Oct 2015 01:04:46 -0700 From: Robin Lee Powell To: lojban@googlegroups.com Subject: Re: [lojban] Re: CLLv1.1: javascript challenge, help needed Message-ID: <20151008080446.GB7442@stodi.digitalkingdom.org> Mail-Followup-To: lojban@googlegroups.com References: <20150918235949.GQ32487@stodi.digitalkingdom.org> <20150920031516.GR32521@stodi.digitalkingdom.org> <20151006202457.GV7442@stodi.digitalkingdom.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.236 as permitted sender) smtp.mailfrom=rlpowell@digitalkingdom.org 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-Note: SpamAssassin invocation failed vrici is my ssh server, where all the tools exist to generate the intermediate stages of the CLL and so on. I suspect you aren't interested in that, but if you want to get an account there, come find me on IRC. So, here's how you do *just* the prince step: Grab http://vrici.lojban.org/~rlpowell/media/public/cll_processed_xhtml_prince-2015-10-06.html and http://vrici.lojban.org/~rlpowell/media/public/prince_check_margins.js And run: prince -vvv --script=prince_check_margins.js cll_processed_xhtml_prince-2015-10-06.html cll.pdf Except you'd want to modify/extend/replace prince_check_margins.js with whatever you come up with. prince_check_margins.js isn't actually necessary for successful creation of the PDF anymore; I'm mostly providing it as a template. On Wed, Oct 07, 2015 at 12:49:55PM -0700, Matt Arnold wrote: > I would be happy to learn this. I downloaded and installed Prince. > > One of the results on the second page of Google search results for > "lojban vrici" was vrici.lojban.org, but it's just a Fedora test > page. I would like more information about what to make an account > on. > > -epkat > > On Tuesday, October 6, 2015 at 4:25:00 PM UTC-4, Robin Powell wrote: > > > > You can't actually test this without running prince; if you have a > > vrici account I can walk you through it. > > > > On Tue, Oct 06, 2015 at 07:06:32AM -0700, Matt Arnold wrote: > > > I looked up the `_.uniq` function in lodash.js and I'm adapting > > > and simplifying it for this purpose. Who do I talk to about > > > getting the data to test on it? > > > > > > On Saturday, September 19, 2015 at 11:15:19 PM UTC-4, Robin Powell > > wrote: > > > > > > > > On Sat, Sep 19, 2015 at 10:04:17AM -0700, TR NS wrote: > > > > > > > > > > > > > > > On Friday, September 18, 2015 at 7:59:52 PM UTC-4, Robin Powell > > > > > wrote: > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > http://www.princexml.com/forum/topic/3129/merge-repeated-cross-links?p=1#15171 > > > > > > > > > > > > I probably won't take the time for this one. > > > > > > > > > > > > > > > > Do you just want a separate script that will go through the index > > > > > and look for identical entries and eliminate all but one? > > > > > > > > That sounds right, yes. > > > > > > > > > > -- > > > 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 http://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 http://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 http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout.