public marks

PUBLIC MARKS from decembre with tags interface & script

2013

Greasemonkey : Arte TV Get RTMP Stream

Detects the address of RTMP Stream used in the new interface of Arte TV and allows to copy it to the clipboard (works only with Greasemonkey or Tampermonkey). Can be used in conjunction with RTMP Dump.

2006

Userscripts.org: Del.icio.us Direc.tor User Script

by 1 other
del.icio.us direc.tor implemented as a Greasemonkey script instead of a bookmarklet. NOTE: To get this script to work properly, under “Manage User Scripts” change the site to: <a class="linkification-ext" href="http://del.icio.us/yourusername" title="