Terminal is a WordPress plugin to embed shell instructions in a fancy shell div.

[terminal]just enter your instructions in a terminal shortcode[/terminal]

Or use

[terminal spaced]
if you want
to have multiples lines
separated with a long inter-line space
[/terminal]