24

I often like to link to the corresponding CTAN page if I mention packages in my posts. I always wished there would be a button which does this for me. I now hacked some Greasemonkey user script together which adds one to the button bar on top of the input field. On request I added a second button for the package manuals on http://texdoc.net/.

Simply type the package name, mark it with the mouse and press the CTAN or DOC buttons on top. Many thanks goes to Paulo Cereda for designing the icons.

CTAN before

CTAN after

TeXDoc Before

TeXDoc after


For Firefox this needs Greasemonkey to be installed. There are also alternatives for other browsers, but I can't say if they work.

Note that this does not work in cases were the edit window is not displayed from the start, i.e. when you answer your own question or provide a second answer. Also it might not work if you reload a page. In this case reload it again by selecting the URL in the browser location bar and hit enter.

Also the buttons do not update the preview window. You need to type some text before it is updated.


View code Direct install

  • 1
    Seems to work fine in Opera. Thanks! – Torbjørn T. May 9 '12 at 9:20
  • @TorbjørnT.: Yes, Opera 8 and above should have support for user scripts. – Martin Scharrer May 9 '12 at 9:20
  • 1
    @Jake: Paulo already asked me that in the chat room. I can do this. – Martin Scharrer May 9 '12 at 11:32
  • @MartinScharrer: Excellent! – Jake May 9 '12 at 11:39
  • 1
    @Jake: See my update. – Martin Scharrer May 9 '12 at 15:22
  • 1
    All works nicely in Chrome. Thanks for this! – qubyte May 9 '12 at 16:23
  • 2
    Awesome! Awesome! Awesome! :) – Paulo Cereda May 9 '12 at 19:50
  • Really useful; thank you. I must confess that I still write most of the URLs manually (old habits die hard), but gradually I am starting to use the script. – Gonzalo Medina May 17 '12 at 21:46
  • How does one install this in, say, Chrome? (Great work, btw.) – John Wickerson May 18 '13 at 12:21
  • @JohnWickerson: You may need tampermonkey extension for chrome. – user11232 May 26 '13 at 0:03
  • 1
    Sadly the links don't work at the moment... – cmhughes Nov 11 '15 at 9:08
  • @MartinScharrer Sounds like a really useful thing. Is this script still available somewhere? – user36296 Jun 26 '17 at 11:51

You must log in to answer this question.

Browse other questions tagged .