sed: Can't open /usr/web/plan9/sources.html d-rwxrwxr-x geoff nix 0 Apr 15 2012 dist d-rwxrwxr-x geoff nix 0 Apr 25 2012 nix --rw-rw-r-- nemo nix 2392 Apr 22 2012 nixproto d-rwxrwxr-x geoff nix 0 Jul 17 2012 patch --rw-rw-r-- geoff nix 173 Jul 16 2012 patchers sed: Can't open /usr/web/plan9/sources.html