Where a user has run literally.
I.e. including the [font=arial]#[/font]. Therefore perfectly making my point.
I know, there is somewhat a convention in linux documentation.
[font=arial]#[/font] means, run as root
[font=arial]$[/font] means, run as user
In Whonix documentation, I’ve broken that convention. It confuses users. Only geeks know that. Not people who get to learn Linux.
I suggest to use [font=arial]sudo[/font] instead of [font=arial]#[/font]. And for commands that should be run as user, we just note above, that it should be run as user, not root.