4 Jan
2024
4 Jan
'24
3:12 p.m.
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.