sed: Can't open /usr/web/plan9/sources.html --rw-rw-r-- jmk sys 1285 Oct 2 2005 4s.c --rw-rw-r-- jmk sys 3621 Oct 2 2005 5s.c --rw-rw-r-- geoff sys 5241 Feb 2 1997 ana.c d-rwxrwxr-x geoff sys 0 Aug 23 2010 blabs --rw-rw-r-- jmk sys 35763 Feb 11 2005 catback.p --rw-rw-r-- jmk sys 10354 Feb 11 2005 catclock.c --rw-rw-r-- jmk sys 1128 Feb 11 2005 eyes.p --rw-rw-r-- geoff sys 45812 Jan 31 2013 festoon.c --rw-rw-r-- jmk sys 4471 Jun 7 2005 juggle.c --rw-rw-r-- geoff sys 8531 Aug 2 2013 life.c d-rwxrwxr-x jmk sys 0 Sep 19 2013 mahjongg --rw-rw-r-- rsc sys 6471 Nov 1 2005 memo.c --rw-rw-r-- jmk sys 653 Aug 24 2010 mkfile d-rwxrwxr-x geoff sys 0 Sep 19 2013 mp3dec d-rwxrwxr-x geoff sys 0 Sep 19 2013 mp3enc d-rwxrwxr-x sape sys 0 May 12 2008 music d-rwxrwxr-x jmk sys 0 Sep 19 2013 sokoban d-rwxrwxr-x jmk sys 0 Sep 19 2013 sudoku --rw-rw-r-- rsc sys 17094 Jan 17 2008 xs.c --rw-rw-r-- jmk sys 292 Oct 2 2005 xs.h sed: Can't open /usr/web/plan9/sources.html