On Thu, Nov 30, 2017 at 1:59 PM, Arun Isaac <arunis...@systemreboot.net> wrote: > There is some value to the "$" and "#" as a way of unambiguously stating > which commands are to be run as root and which commands are to be run as > an unprivileged user. But, it's not a big deal in this case. If you > think it's already clear from the context, do go ahead.
I prefer a "sudo" in front of the lines that need root perms, looks more obvious, the ease of copy/paste is good to have, IMHO. -- Vincent Legoll
