Questa รจ una prova. Vediamo se funziona <pre> #!/bin/bash echo "ciao" </pre>