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 iNjiAvoO4l4jJQAA0tVLHw (envelope-from ) for ; Thu, 11 Jun 2020 11:01:14 +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 8Hc/OvkO4l5SHAAAB5/wlQ (envelope-from ) for ; Thu, 11 Jun 2020 11:01:13 +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 9CBCA940656 for ; Thu, 11 Jun 2020 11:01:13 +0000 (UTC) Received: from localhost ([::1]:43536 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jjKxM-00040e-Al for larch@yhetil.org; Thu, 11 Jun 2020 07:01:12 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:37772) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jjKwy-00040K-TT for guix-devel@gnu.org; Thu, 11 Jun 2020 07:00:49 -0400 Received: from lepiller.eu ([2a00:5884:8208::1]:47818) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jjKww-00008I-IQ for guix-devel@gnu.org; Thu, 11 Jun 2020 07:00:48 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id f959d13a for ; Thu, 11 Jun 2020 11:00:38 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date :in-reply-to:references:mime-version:content-type :content-transfer-encoding:subject:to:from:message-id; s=dkim; bh=dv73L2CydClf/pcfkytqXkYb37oHX+cWMJWyTMZtZfU=; b=Sred8hdVJxde urzgkGuh6Nwv+xNo6u0DQgW4/TAsq1UFL/izVaoC4g8nLkBX05ImFPS6fZTh/ctl ddSn9r1rB64ciIZqaSlajZ0i3nGcdJEbI2tzksX0ll0msfMJb0/dibFL8ioP3o8c SscgXBoEvHZ5lobMwuYECrIgXIFo5/4I97DpB4Kf8L3q2ejLHbxRjWDsm6aQIUxX mOyBFGTRLUkD+Xw2cBqwAr3TMNOAoffr4fxE24Z4ZxsdkB62T56tMr3B0qBYzrEF Uzc0rneaLrEcaY8vdA46m1iOY94KUEeGBzjs3gY2xSyePedzB1c5QlM7ymGGXVFB utNQjlTfIg== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 0a309564 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Thu, 11 Jun 2020 11:00:37 +0000 (UTC) Date: Thu, 11 Jun 2020 07:00:24 -0400 User-Agent: K-9 Mail for Android In-Reply-To: <877dwef1cb.fsf@elephly.net> References: <703B1E0F-BE41-469D-9357-D3FFAA5CF8FD@lepiller.eu> <878sh1e1gf.fsf@elephly.net> <873674i691.fsf@gnu.org> <87wo4gf9hg.fsf@elephly.net> <877dwef1cb.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: Manual consistency To: guix-devel@gnu.org From: Julien Lepiller Message-ID: <8D44EBA6-20AF-4096-B529-35D56100A7FC@lepiller.eu> Received-SPF: none client-ip=2a00:5884:8208::1; envelope-from=julien@lepiller.eu; helo=lepiller.eu X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. 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, SPF_HELO_NONE=0.001, SPF_NONE=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: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lepiller.eu header.s=dkim header.b=Sred8hdV; dmarc=pass (policy=none) header.from=lepiller.eu; 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.71 X-TUID: wX4rGItQm39s Le 11 juin 2020 04:33:56 GMT-04:00, Ricardo Wurmus a= =C3=A9crit : > >Dmitry Alexandrov writes: > >> Ricardo Wurmus wrote: >>> Ludovic Court=C3=A8s writes: >>>> 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=2E >>>> >>>> What about adding some more post-processing in doc/build=2Escm? :-) >>> >>> If we=E2=80=99re okay with wrapping individual lines in @code{=E2=80= =A6} that won=E2=80=99t >be necessary=2E 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=2E >> >> May I chime in? >> >> Do I get it right: you are suggesting to remove prompts from =2Etexi >and put them back in HTML output only =E2=80=94 leaving other formats wit= h not >prompts? >> >> And that is only to make them unselectable? I do not quite >understand, why this is needed at all (are there multiline examples in >the manual, that expected to be blindly copypasted to terminal?), but >in any case no hacks like =E2=80=98::before=E2=80=99 are required =E2=80= =94 =E2=80=98user-select: none=E2=80=99 >is supported by all modern webengines (yet sometimes with prefix): >> >> >> =09 >>
$ wget =E2=80=A6/guix-install=
=2Esh
>> 	$ su -
>> 	# bash =2E/guix-install=2Esh
>> 	  
> >This is good=2E > >The only minor problem is that with Texinfo we cannot insert >conditional >tags within the context of an example section, so we would have to >rewrite the HTML via post-processing=2E Maybe that's what we want to do? If a line in
 satrts with "$ " or "#=
 " wrap with a span=2E That way, we can make them unselectable in html, and=
 they still appear in the info manual=2E We also keep the distinction betwe=
en $ and #=2E