14 ms·
(You can follow along on this page: http://the1a.org/audio/#/shows/2017-09-25/salman-rushdie/ http://the1a.org/audio/#/shows/2017-09-25/salman-rushdie/) In the
by fao_ 9y ago
(You can follow along on this page: http://the1a.org/audio/#/shows/2017-09-25/salman-rushdie/ http://the1a.org/audio/#/shows/2017-09-25/salman-rushdie/)
In the developer tools inspector, select the audio player and search for `div#external_player`, right click > "expand all", and there should be an "<audio>" tag. The `src` attribute of that contains the mp3 that you want.
- mintplant 9y agoThe Audio Downloader Prime [0] add-on for Firefox automates this task. [0] https://addons.mozilla.org/en-US/firefox/addon/audio-downloader-prime/ https://addons.mozilla.org/en-US/firefox/addon/audio-downloa...
- KGIII 9y agoI think that still falls under the category of time consuming and difficult. Well, at least difficult for the average computer user.
- xxpor 9y agoThe average computer user doesn't care about getting the raw MP3.
- djrogers 9y agoPretty sure the average computer user looking for NPR audio is going to be perfectly happy with the podcast - ie an RSS feed of the MP3 files with descriptions and show notes. I think demanding the ‘raw mp3’ is a bit of a corner case here.
- fao_ 9y agoI gave the steps so that someone can script it. Python and lxml takes 30 minutes to script something like this with no prior knowledge. It isn't particularly difficult, even if it is slightly time consuming.