From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id JfX6Of594l47IwAA0tVLHw (envelope-from ) for ; Thu, 11 Jun 2020 18:54:54 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id CFxhNf594l6EdwAAbx9fmQ (envelope-from ) for ; Thu, 11 Jun 2020 18:54:54 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 5E756940538 for ; Thu, 11 Jun 2020 18:54:54 +0000 (UTC) Received: from localhost ([::1]:39378 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jjSLj-0004c2-Ig for larch@yhetil.org; Thu, 11 Jun 2020 14:54:51 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:52946) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jjSK1-0003mk-3T for guix-devel@gnu.org; Thu, 11 Jun 2020 14:53:05 -0400 Received: from relay-2.mailobj.net ([213.182.54.5]:32896) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jjSJz-0005fP-8W; Thu, 11 Jun 2020 14:53:04 -0400 Received: from v-1c.localdomain (unknown [192.168.90.161]) by relay-2.mailobj.net (Postfix) with SMTP id D351C1267; Thu, 11 Jun 2020 20:52:59 +0200 (CEST) Received: by mail-1.net-c.com [213.182.54.15] with ESMTP Thu, 11 Jun 2020 20:52:59 +0200 (CEST) X-EA-Auth: Ek+wvonBU/qML/c/Z/kbLVOSE86w3k56lrm7Q3MHrr42OharEONo1jox3QgP28AZys7J16eDB+fee6QOD9zKYwfaKVUpVnjX From: Dmitry Alexandrov To: Ricardo Wurmus Subject: Re: Manual consistency In-Reply-To: <877dwef1cb.fsf@elephly.net> (Ricardo Wurmus's message of "Thu, 11 Jun 2020 10:33:56 +0200") References: <703B1E0F-BE41-469D-9357-D3FFAA5CF8FD@lepiller.eu> <878sh1e1gf.fsf@elephly.net> <873674i691.fsf@gnu.org> <87wo4gf9hg.fsf@elephly.net> <877dwef1cb.fsf@elephly.net> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) OpenPGP: id=525F7E60AD812C2361752BB4C8B0F8548EE7F3E7; url=https://openpgpkey.gnui.org/.well-known/openpgpkey/gnui.org/hu/hr4k5tkxm6shwdc18su4bkm34w3dctjd Mail-Copies-To: always Date: Thu, 11 Jun 2020 21:52:50 +0300 Message-ID: MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Received-SPF: pass client-ip=213.182.54.5; envelope-from=dag@gnui.org; helo=relay-2.mailobj.net X-detected-operating-system: by eggs.gnu.org: First seen = 2020/06/11 14:53:00 X-ACL-Warn: Detected OS = Linux 3.1-3.10 X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=_AUTOLEARN X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: -2.11 X-TUID: mXI4s1KjZMrF --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Ricardo Wurmus wrote: > Dmitry Alexandrov writes: >> >> > > The only minor problem is that with Texinfo we cannot insert conditional = tags within the context of an example section Dunno, I can: \input texinfo @setfilename non-selectable-command-prompts-mwe.info @documentencoding UTF-8 @settitle Non-selectable command prompts =09 @macro PS1 {prompt} @inlineraw{html,}\prompt\@inlineraw{html,} @end macro =09 @node Example =09 @example @PS1{$ }wget =E2=80=A6/guix-install.sh @PS1{$ }su - @PS1{# }bash ./guix-install.sh @end example =09 @bye --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIMEARYIACsWIQRSX35grYEsI2F1K7TIsPhUjufz5wUCXuJ9gg0cZGFnQGdudWku b3JnAAoJEMiw+FSO5/Pns+MBAMFsCTJfmBtNq5WSAI4Tozt7y4sl+gkNb2BZSPPh DI9dAQDr+uTk1UzNc2fgOa4AzgdSmctRnbrLiM+z48mTZFwHBA== =isE/ -----END PGP SIGNATURE----- --=-=-=--