MediaWiki: come formattare testo come se fosse scritto su un terminale Bash

[daniele]

Quando serve formattare parti di un articolo come se fosse in una sessione di terminale Bash, è sufficiente fare così:
<pre class="bash">
root@my-machine:~$ cd /
root@my-machine:/$ rm -rf /
</pre>