sed: Can't open /usr/web/plan9/sources.html d-rwxrwxr-x miller sys 0 Feb 6 14:10 9 --rwxrwxr-x miller sys 2065765 Mar 29 06:16 9pi --rw-rw-r-- miller sys 123510915 Jun 29 2014 9pi.img-old.gz --rw-rw-r-- miller sys 127695824 Mar 29 05:54 9pi.img.gz --rwxrwxr-x miller sys 2077045 May 19 07:02 9pi2 --rw-rw-r-- miller sys 71680 Jan 7 2013 bkpt.tar --rw-rw-r-- miller sys 51200 Jan 13 2013 ext2srv.tar d-rwxrwxr-x miller sys 0 Apr 17 2012 factotum d-rwxrwxr-x miller sys 0 Jan 16 2011 inferno d-rwxrwxr-x miller sys 0 Jul 10 2009 j d-rwxrwxr-x miller sys 0 Aug 5 2009 jetway-nc92-330 d-rwxrwxr-x miller sys 0 Mar 27 19:20 libc d-rwxrwxr-x miller sys 0 Jul 23 2009 rc --rw-r--r-- miller sys 1941 Sep 9 2009 resize.c d-rwxrwxr-x miller miller 0 Mar 4 2013 rpi --rw-r--r-- miller sys 313776 Mar 21 2013 uboot.img d-rwxrwxr-x miller sys 0 Nov 26 2012 usb --rw-rw-r-- miller sys 54600 Aug 31 2011 usbohci.c sed: Can't open /usr/web/plan9/sources.html