Dmitry Alexandrov <d...@gnui.org> writes:
> Ricardo Wurmus <rek...@elephly.net> wrote:
>> Dmitry Alexandrov <d...@gnui.org> writes:
>>>
>>> <style>
>>> code .PS1 {
>>> -webkit-user-select: none;
>>> -moz-user-select: none; /* Not required since F***fox 69. */
>>> user-select: none;
>>> }
>>> </style>
>>
>> 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
>
> @macro PS1 {prompt}
> @inlineraw{html,<span class="PS1">}\prompt\@inlineraw{html,</span>}
> @end macro
>
> @node Example
>
> @example
> @PS1{$ }wget …/guix-install.sh
> @PS1{$ }su -
> @PS1{# }bash ./guix-install.sh
> @end example
>
> @bye
Oh, neat! Let’s try this.
--
Ricardo
