Dear people who write documentation: we do not need the dollar sign. We know it's shell command. Just let us double click and copy/paste the whole line.