view en/examples/mq.dodiff @ 79:53427f786a0f

Make run-example time out if shell seems to get stuck.

#!/bin/bash

#$ name: diff

echo 'this is my first line' > oldfile
echo 'my first line is here' > newfile

diff -u oldfile newfile > tiny.patch

cat tiny.patch

patch < tiny.patch

cat newfile