Ricardo Wurmus <rekado@elephly.net> wrote:
> Dmitry Alexandrov <dag@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