sed: Can't open /usr/web/plan9/sources.html --rw-rw-rw- djc sys 13 Apr 19 2016 email --rw-rw-r-- djc sys 36 Apr 19 2016 files --rw-rw-r-- djc sys 0 Apr 19 2016 notes --rw-rw-r-- djc sys 140 Apr 19 2016 readme --rw-rw-r-- djc sys 22067 Apr 19 2016 sysfile.c --rw-rw-r-- djc sys 22017 Apr 19 2016 sysfile.c.orig sed: Can't open /usr/web/plan9/sources.html