Hola mundo
$ echo "Hola mundo" &gt; /dev/full