Hi Aaron,
> so I don’t know what your point was.
You originally wrote:
> Note that it is convention for commands that should be ran with sudo
> to be prefixed with a # .
That is wrong as it suggests
# sudo ...
but root, as indicated by PS1='# ', would not need to sudo.
My reply tried to explain this:
> That sounds a little mixed up.
> PS1='$ ' for commands run by the user, PS1='# ' for those run by root.
> sudo is run by the user so it should be '$ '.
I expect you knew this but just typo'd or thinko'd '$' for '#'.
I replied because the OP might be confused if you thought they needed
explaining to them.
Then tippfehlr joined in.
I don't think any of us are in disagreement. We just aren't taking the
necessary time.
--
Cheers, Ralph.
