0017-ed.sh (101B)
1 #!/bin/sh 2 3 $EXEC ../ed -s /dev/null <<EOF | grep 'file modified' > /dev/null 4 a 5 1 6 2 7 . 8 w !echo 9 q 10 h 11 EOF
