From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id UD0aMGO34l6vOgAA0tVLHw (envelope-from ) for ; Thu, 11 Jun 2020 22:59:47 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id 2NzxK2O34l7mPgAAB5/wlQ (envelope-from ) for ; Thu, 11 Jun 2020 22:59:47 +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 5370194051C for ; Thu, 11 Jun 2020 22:59:47 +0000 (UTC) Received: from localhost ([::1]:38462 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jjWAk-0003Lt-40 for larch@yhetil.org; Thu, 11 Jun 2020 18:59:46 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:52140) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jjW9x-0003GC-JA for guix-devel@gnu.org; Thu, 11 Jun 2020 18:58:57 -0400 Received: from relay-1.mailobj.net ([213.182.54.6]:46813) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jjW9v-00015a-EH; Thu, 11 Jun 2020 18:58:57 -0400 Received: from v-1c.localdomain (unknown [192.168.90.161]) by relay-1.mailobj.net (Postfix) with SMTP id 511C5123B; Fri, 12 Jun 2020 00:58:50 +0200 (CEST) Received: by mail-1.net-c.com [213.182.54.15] with ESMTP Fri, 12 Jun 2020 00:58:50 +0200 (CEST) X-EA-Auth: Fv0uuzbCi1TLc9NVC/0PZOxR+XoD+Lv5z1ueIs4bEp/5jCpMSxao9K3Piqoud3afcn0clmoj9u8M0h2fUQu/9gTH2ESs/ExT From: Dmitry Alexandrov To: Ricardo Wurmus Subject: Re: Manual consistency In-Reply-To: <87sgf1e345.fsf@elephly.net> (Ricardo Wurmus's message of "Thu, 11 Jun 2020 22:53:14 +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> <87sgf1e345.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: Fri, 12 Jun 2020 01:58:47 +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.6; envelope-from=dag@gnui.org; helo=relay-1.mailobj.net X-detected-operating-system: by eggs.gnu.org: First seen = 2020/06/11 18:58:50 X-ACL-Warn: Detected OS = Linux 3.1-3.10 X-Spam_score_int: -28 X-Spam_score: -2.9 X-Spam_bar: -- X-Spam_report: (-2.9 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_MSPIKE_H2=-1, 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: -0.61 X-TUID: kCUU4KaGegLy --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Ricardo Wurmus wrote: > Dmitry Alexandrov writes: >> @macro PS1 {prompt} >> @inlineraw{html,}\prompt\@inlineraw{html,} >> @end macro > > Oh, neat! Let=E2=80=99s try this. Oops! (info "(texinfo) Defining Macros") recommends against using digits i= n macro names: | For a macro to work consistently with TeX, MACRONAME must consist entirel= y of letters: no digits, hyphens, underscores, or other special characters.= So, we recommend using only letters. However, 'makeinfo' will accept any= thing consisting of alphanumerics, and (except as the first character) '-'. and rightfully so: make non-selectable-command-prompts-mwe.pdf =E2=80=B9=E2=80=A6=E2=80=BA ./non-selectable-command-prompts-mwe.texi:13: Undefined control sequence. l.13 @PS 1{$ }wget =E2=80=A6/guix-install.sh ? So s/PS1/prompt/g or whatever suits better. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIMEARYIACsWIQRSX35grYEsI2F1K7TIsPhUjufz5wUCXuK3Jw0cZGFnQGdudWku b3JnAAoJEMiw+FSO5/PnJVUA/2gKNcGac8jTajx2PsUhdnkmrrwlJlF6Wrh4m7AH Y6OyAQCC73fcyzPPP37l/IDtVrOekp2QczyHwo19vFjXXGUdDw== =jXt7 -----END PGP SIGNATURE----- --=-=-=--