Giulio@812: <!-- BEGIN mq.dodiff.diff -->
Giulio@812: <screen><prompt>$</prompt> <userinput>echo 'questo è il mio primo pensiero' &gt; vecchiofile</userinput>
Giulio@812: <prompt>$</prompt> <userinput>echo 'ho cambiato idea' &gt; nuovofile</userinput>
Giulio@812: <prompt>$</prompt> <userinput>diff -u vecchiofile nuovofile &gt; piccola.patch</userinput>
Giulio@812: <prompt>$</prompt> <userinput>cat piccola.patch</userinput>
Giulio@812: --- vecchiofile	2009-06-05 15:50:32.000000000 +0000
Giulio@812: +++ nuovofile	2009-06-05 15:50:32.000000000 +0000
Giulio@812: @@ -1 +1 @@
Giulio@812: -questo è il mio primo pensiero
Giulio@812: +ho cambiato idea
Giulio@812: <prompt>$</prompt> <userinput>patch &lt; piccola.patch</userinput>
Giulio@812: correggo il file vecchiofile
Giulio@812: <prompt>$</prompt> <userinput>cat vecchiofile</userinput>
Giulio@812: ho cambiato idea
Giulio@812: </screen>
Giulio@812: <!-- END mq.dodiff.diff -->