Questa è una prova.
Vediamo se funziona

<pre>
#!/bin/bash

echo "ciao"
</pre>