Let's do "$ sudo" instead of "#" to encourage good habits. :) That's also our convention elsewhere.