codice:
echo '#!/bin/sh' > file