Skip to content

Instantly share code, notes, and snippets.

@panzi

panzi/gist:7551381

Created November 19, 2013 19:49
Show Gist options
  • Star 6 You must be signed in to star a gist
  • Fork 1 You must be signed in to fork a gist
  • Save panzi/7551381 to your computer and use it in GitHub Desktop.
Save panzi/7551381 to your computer and use it in GitHub Desktop.
Download ZIP
Download currently playing HTML5 audio/video bookmarklet.
Raw
gistfile1.txt
Create a new bookmark and set it's URL to this:
javascript:(function(xs)%7Bfor(var%20i%3D0%3Bi%3Cxs.length%3B%2B%2Bi)%7Bif(xs%5Bi%5D.currentSrc)%7Breturn%20window.open(xs%5Bi%5D.currentSrc)%3B%7D%7D%7D)(document.querySelectorAll('audio%2Cvideo'))%3B
When media is playing using HTML5 audio/video you can click this bookmark to open a new tab/window with the media. Then to download it use the context menu action "Save As..." (right mouse button -> Save As...).
If you use Chrome/Safari/recent Opera (WebKit/Blink) you can do better(!) and immediately download the file using this bookmarklet instead:
javascript:(function(xs)%7Bfor(var%20i%3D0%3Bi%3Cxs.length%3B%2B%2Bi)%7Bif(xs%5Bi%5D.currentSrc)%7Bvar%20a%3Ddocument.createElement('a')%3Ba.target%3D'_blank'%3Ba.download%3D''%3Ba.href%3Dxs%5Bi%5D.currentSrc%3Ba.click()%3Breturn%3B%7D%7D%7D)(document.querySelectorAll('audio%2Cvideo'))%3B
This should also work for Firefox if the HTML page and the audio file are hosted on the same domain. (So usually it won't.)
@trimechee
Copy link

Wonderful ! Thank you very much !

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment