Received: from mail-px0-f189.google.com ([209.85.212.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1OWziR-00008k-0e; Thu, 08 Jul 2010 15:37:14 -0700 Received: by pxi13 with SMTP id 13sf184044pxi.16 for ; Thu, 08 Jul 2010 15:37:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:date:from:to:subject:message-id :references:mime-version:in-reply-to:user-agent:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-disposition; bh=/gyc6gFe0gPEvzrAybc1Laj0xdMv9XuNSnf3xfHTGs8=; b=08pSQeNN8CBnYfyG6S4D/8Z4xXlwGM8IkrAAl3JEzhgPsEBulhd347EPc8WFhcTF2H o0XgLFjGlgb0wfC3Eras7HpNG2SogyE8bIYZG+izLmUBkZbZ/FstUAqA0E9hbrBzcoXH I1be1IjyAZnUknZ1eR+ZiPnj7zqFzBsG1lD94= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id:references :mime-version:in-reply-to:user-agent:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-disposition; b=IJEq8mrCKAZUtYAFNWUyjOBjKqGUlIhHAAYpS1hnEvdXuLPaK1pW8sYI8HjcTB7ae6 nMLB6ukGptXuNm31JhSP94Ii8TNo/PahrCbOOJh2eOGzQc+F8t02rVV54BW+UDEGV5l7 J+cc4l91MaPZrhYdC7UVZaZygvsUpAETr26ic= Received: by 10.115.101.15 with SMTP id d15mr858062wam.0.1278628620041; Thu, 08 Jul 2010 15:37:00 -0700 (PDT) X-BeenThere: lojban-beginners@googlegroups.com Received: by 10.114.204.17 with SMTP id b17ls6126166wag.1.p; Thu, 08 Jul 2010 15:36:59 -0700 (PDT) Received: by 10.114.161.20 with SMTP id j20mr1844877wae.34.1278628619079; Thu, 08 Jul 2010 15:36:59 -0700 (PDT) Received: by 10.114.161.20 with SMTP id j20mr1844876wae.34.1278628619034; Thu, 08 Jul 2010 15:36:59 -0700 (PDT) Received: from chain.digitalkingdom.org (chain.digitalkingdom.org [64.81.66.169]) by gmr-mx.google.com with ESMTP id r11si242485waj.0.2010.07.08.15.36.58; Thu, 08 Jul 2010 15:36:58 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 64.81.66.169 as permitted sender) client-ip=64.81.66.169; Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.72) (envelope-from ) id 1OWziD-00008X-PG for lojban-beginners@googlegroups.com; Thu, 08 Jul 2010 15:36:58 -0700 Date: Thu, 8 Jul 2010 15:36:57 -0700 From: Robin Lee Powell To: lojban-beginners@googlegroups.com Subject: Re: [lojban-beginners] jbofihe Message-ID: <20100708223657.GW1443@digitalkingdom.org> References: MIME-Version: 1.0 In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) 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 64.81.66.169 as permitted sender) smtp.mail=rlpowell@digitalkingdom.org Reply-To: lojban-beginners@googlegroups.com Precedence: list Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban-beginners@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline Content-Length: 960 On Thu, Jul 08, 2010 at 03:32:28PM -0700, peter wrote: > is it possible to make jbofihe (on linux) ignore single lines or > arbitrary portions of text other than using fa'o I just tried it, and apparently not. You could pretty easily write a script to do that, though, before passing the results to jbofihe. -Robin -- http://singinst.org/ : Our last, best hope for a fantastic future. Lojban (http://www.lojban.org/): The language in which "this parrot is dead" is "ti poi spitaki cu morsi", but "this sentence is false" is "na nei". My personal page: http://www.digitalkingdom.org/rlp/ -- You received this message because you are subscribed to the Google Groups "Lojban Beginners" group. To post to this group, send email to lojban-beginners@googlegroups.com. To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.