sed: Can't open /usr/web/plan9/sources.html --rw-rw-r-- de0u sys 2171 Jun 13 2014 devtest.c --rw-rw-rw- de0u sys 21 Jun 13 2014 email --rw-rw-r-- de0u sys 132 Jun 13 2014 files --rw-rw-r-- de0u sys 25350 Jun 13 2014 mmu.c --rw-rw-r-- de0u sys 24586 Jun 13 2014 mmu.c.orig --rw-rw-r-- de0u sys 737 Jun 13 2014 new_result --rw-rw-r-- de0u sys 0 Jun 13 2014 notes --rw-rw-r-- de0u sys 534 Jun 13 2014 old_result --rw-rw-r-- de0u sys 2524 Jun 13 2014 readme sed: Can't open /usr/web/plan9/sources.html