sed: Can't open /usr/web/plan9/sources.html d-rwxrwxr-x miller sys 0 Feb 6 2015 9 --rw-rw-r-- miller sys 2122393 Mar 12 2017 9pi --rwxrwxr-x miller sys 2085403 May 30 2016 9pi-old --rw-rw-r-- miller sys 181590153 May 30 2016 9pi-old.img.gz --rw-rw-r-- miller sys 195333993 Mar 12 2017 9pi.img.gz --rw-rw-r-- miller sys 2127416 Mar 12 2017 9pi2 --rwxrwxr-x miller sys 2086318 May 30 2016 9pi2-old --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 2015 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 sed: Can't open /usr/web/plan9/sources.html