From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id oFgyB67b4F7pfAAA0tVLHw (envelope-from ) for ; Wed, 10 Jun 2020 13:10:06 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id mCAcA67b4F5yLAAA1q6Kng (envelope-from ) for ; Wed, 10 Jun 2020 13:10:06 +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 6BE099401CF for ; Wed, 10 Jun 2020 13:10:05 +0000 (UTC) Received: from localhost ([::1]:59368 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jj0UW-0007Oh-Dg for larch@yhetil.org; Wed, 10 Jun 2020 09:10:04 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:44558) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jj0Th-0006lN-Mf for guix-devel@gnu.org; Wed, 10 Jun 2020 09:09:13 -0400 Received: from sender4-of-o53.zoho.com ([136.143.188.53]:21333) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.90_1) (envelope-from ) id 1jj0Tf-0003Lg-Gb; Wed, 10 Jun 2020 09:09:13 -0400 ARC-Seal: i=1; a=rsa-sha256; t=1591794547; cv=none; d=zohomail.com; s=zohoarc; b=M7NkSCcG4HhiQRfRdIK/yUDllAgXD1hdywXsQvTWy4dTwvGa80A6QCghlAQSeNEn2DQJb5B5zTXSLLhk7nMs8OKg+XHiYZp56g6vZyhe93aXo11ZtUpcpDJPdPeUUGiur36Iwaw3aCymGnRLCgb43r1URLqH99Bjfo6nbw4SyC0= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1591794547; h=Content-Type:Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To; bh=8q+3emGOBvQSTq3IS/vZdrFmaHVWs+fvE+71Wg6gaAE=; b=cq5gOSyxKlOkf0aVRCyJVuqdZSkgXTzJi5op1OwTisRTpz8yzmzpCkwUwh1Qo8LucfYR4MsnD1Mteqs3P3VCrb7tWZfISPcVpILjyjoFfGJ3R0UBkJf3UGdzrJuX5RRRuGszd28E0OaY+IOcdVvQ7mClW7APojYBLn+5HOw1OqU= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1591794547; s=zoho; d=elephly.net; i=rekado@elephly.net; h=References:From:To:Cc:Subject:In-reply-to:Date:Message-ID:MIME-Version:Content-Type:Content-Transfer-Encoding; bh=8q+3emGOBvQSTq3IS/vZdrFmaHVWs+fvE+71Wg6gaAE=; b=CHpNIGlQarZDSKdCXjcx+bt4c7QLNJNHnTDxHnTPrcNbbXhjN6AH6Z6z9SnnU/rO e47sgBpaftLnxVlhfJwDK5sdWLaAEIFpUJg5Fj/By2AmmpWXcTBurqY2gXF2vbIWmkE OiOAf/6zxHI1ivmxoY6+d4DUMU6yyaA5CsLQeRLU= Received: from localhost (p54ad44ac.dip0.t-ipconnect.de [84.173.68.172]) by mx.zohomail.com with SMTPS id 159179454125645.122747552353985; Wed, 10 Jun 2020 06:09:01 -0700 (PDT) References: <703B1E0F-BE41-469D-9357-D3FFAA5CF8FD@lepiller.eu> <878sh1e1gf.fsf@elephly.net> <873674i691.fsf@gnu.org> <87wo4gf9hg.fsf@elephly.net> User-agent: mu4e 1.4.4; emacs 26.3 From: Ricardo Wurmus To: Julien Lepiller Subject: Re: Manual consistency In-reply-to: X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Date: Wed, 10 Jun 2020 15:08:52 +0200 Message-ID: <87o8prf4pn.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-ZohoMailClient: External Received-SPF: pass client-ip=136.143.188.53; envelope-from=rekado@elephly.net; helo=sender4-of-o53.zoho.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/06/10 09:09:09 X-ACL-Warn: Detected OS = Linux 3.11 and newer [fuzzy] X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H4=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_NONE=0.001, SPF_PASS=-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=fail (rsa verify failed) header.d=elephly.net header.s=zoho header.b=CHpNIGlQ; 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: 1.99 X-TUID: Y3d84LNo6Rph Julien Lepiller writes: > Le 9 juin 2020 13:13:31 GMT-04:00, Ricardo Wurmus a = =C3=A9crit : >> >>Ludovic Court=C3=A8s writes: >> >>> Hi, >>> >>> Ricardo Wurmus skribis: >>> >>>> Julien Lepiller writes: >>>> >>>>> If there is a way to mark a sentence to wrap it into a class, we >>could >>>>> also do some CSS magic with :before. >>>> >>>> Texinfo puts all examples inside div.example pre.example, but the >>>> individual lines are not wrapped in spans, so we cannot style each >>line >>>> individually. A :before rule would thus only change the first line, >>>> which is not enough. >>> >>> What about adding some more post-processing in doc/build.scm? :-) >> >>If we=E2=80=99re okay with wrapping individual lines in @code{=E2=80=A6} = that won=E2=80=99t be >>necessary. Having each logical line of code within @code results in >> >>
>>    this line
>>    that line
>>  
>> >>and that=E2=80=99s something we *can* style with CSS. > > But we can't differentiate root commands and user commands that way. =E2=80=A6 if that=E2=80=99s *really* necessary we can post-process in doc/b= uild.scm, but I think there=E2=80=99s little value in showing a different prompt. While I have seen it elsewhere, it=E2=80=99s not a universal convention to use =E2= =80=9C#=E2=80=9D as a root prompt and =E2=80=9C$=E2=80=9D for an unprivileged prompt. If we want to clearly indicate that this is done by the root user I suggest including =E2=80=9Csu -=E2=80=9D at the top of the listing. --=20 Ricardo