I cleaned up my RFC/I-D viewer and mirroring tools and pushed them up to /n/9pio/contrib/lyndon/rfc.tar. They're a bit more functional than the existing /lib/rfc/grabrfc, and interface nicely with the plumber.
Note that I have an /rc/bin/aux directory that I 'bind -a' to /bin/aux in my global namespace. If you don't want to do that binding you'll have to fiddle the mkfile a bit. Otherwise, add 'bind -a /rc/bin/aux /bin/aux' to /lib/namespace to make the mirror commands visible. RFC(1) RFC(1) NAME rfc, idmirror, rfcmirror - Display RFCs and Internet Drafts SYNOPSIS rfc [-p] docref rfc [-p] -dIis aux/idmirror [-v] aux/rfcmirror [-v] DESCRIPTION rfc displays IETF RFCs and Internet Drafts. docref is a plain integer in the case of RFCs, or a string of the form draft-* for Internet Drafts. rfc can also display indexes of drafts, RFCs, and STDs by specifying one of the following flags: -d display the Internet Drafts index -I display the index of recent RFCs -i display the unabridged RFC index -s display the list of STDs rfc invokes B to display the document; specifying -p instead prints the document on the standard output. idmirror and rfcmirror maintain the local mirrors of the IETF document repositories. The -v flag makes them print the names of documents added or removed from the local mir- ror. Only the text versions of the documents are mirrored. rfcmirror also puts a copy of the recent-RFCs index into /lib/news/latest_rfcs for use by news(1). Plumbing Adding the following to $home/lib/plumbing (ahead of the include basic line) makes RFC and Internet Draft references plumbable: type is text data matches '[Rr][Ff][Cc][ ]*([0-9]+)(.[Tt][Xx][Tt])?' plumb start rfc $1 type is text data matches '(draft-[a-z0-9-]+-[0-9]+)(.txt)?' plumb start rfc $1 FILES /lib/doc/ietf the local document mirror. BUGS The internet drafts FTP server (ftp.ietf.org) has an absurdly short command channel timeout. If you have a slow network connection this can cause idmirror to fail, report- ing an ftpfs rpc error. The problem is with the IETF's FTP server, not idmirror. ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Td6498de610f4eaa9-M47ba54071b9de1bbb3f787fa Delivery options: https://9fans.topicbox.com/groups/9fans/subscription