On Mar 6, 2012, at 7:43 PM, Barry Leiba wrote: >> Yup, you are not the only one -- this annoyed me sufficiently that I finally gave >> in and wrote a Chrome extension to do this for me. >> Basically it watches the address bard and looks for www.ietf.org/id/<foo> and, >> depending on the setting in the options page, will redirect to the Tools or Datatracker. > > Inspired by that, I wrote a completely trivial (one-line) Greasemonkey > script this afternoon, to do it for Firefox. It's so short that I'll > just paste it below. Works nicely. Oooh, very cool…. W > > Barry > > -------------------------------------------------- > // ==UserScript== > // @name IETF draft html > // @namespace ...whatever... > // @description Redirect txt drafts to html > // @include http://www.ietf.org/id/* > // @include https://www.ietf.org/id/* > // ==/UserScript== > > (function () { > window.location = new > String(window.location).replace("www.ietf.org/id", > "tools.ietf.org/html").replace(".txt", ""); > })(); > -------------------------------------------------- > -- Don't be impressed with unintelligible stuff said condescendingly. -- Radia Perlman. _______________________________________________ Ietf mailing list Ietf@xxxxxxxx https://www.ietf.org/mailman/listinfo/ietf