Go offline with the Player FM app!
HPR4398: Command line fun: downloading a podcast
Fetch error
Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on June 16, 2025 00:29 ()
What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.
Manage episode 488022561 series 32765
This show has been flagged as Clean by the host.
Kevie, from the TuxJam podcast, continues his look at audio tools on the command line; this time focusing on acquiring audio files from an RSS feed.
Save the latest file from a feed:
wget `curl RSS_FEED | grep -o 'https*://[^"]*FILE_EXTENSION' | head -1`
To get the latest episode of TuxJam
wget `curl https://tuxjam.otherside.network/feed/podcast/ | grep -o 'https*://[^"]*ogg' | head -1`
However if you want the files from the whole feed:
wget `curl RSS_FEED | grep -Eo 'https*://[^"]*FILE_EXTENSION' | sort -u | xargs`
To get every episode of TuxJam:
wget `curl https://tuxjam.otherside.network/feed/podcast/ | grep -Eo 'https*://[^"]*ogg' | sort -u | xargs`
If you wish to specify the directory to save the file in then use -P /directory after wget. To download the TuxJam feed and place the files in a directory called Podcasts in your home folder you would use:
wget -P ~/Podcasts `curl https://tuxjam.otherside.network/feed/podcast/ | grep -Eo 'https*://[^"]*ogg' | sort -u | xargs`
For more in this mini-series of audio command line tools then see:
860 episodes
Fetch error
Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on June 16, 2025 00:29 ()
What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.
Manage episode 488022561 series 32765
This show has been flagged as Clean by the host.
Kevie, from the TuxJam podcast, continues his look at audio tools on the command line; this time focusing on acquiring audio files from an RSS feed.
Save the latest file from a feed:
wget `curl RSS_FEED | grep -o 'https*://[^"]*FILE_EXTENSION' | head -1`
To get the latest episode of TuxJam
wget `curl https://tuxjam.otherside.network/feed/podcast/ | grep -o 'https*://[^"]*ogg' | head -1`
However if you want the files from the whole feed:
wget `curl RSS_FEED | grep -Eo 'https*://[^"]*FILE_EXTENSION' | sort -u | xargs`
To get every episode of TuxJam:
wget `curl https://tuxjam.otherside.network/feed/podcast/ | grep -Eo 'https*://[^"]*ogg' | sort -u | xargs`
If you wish to specify the directory to save the file in then use -P /directory after wget. To download the TuxJam feed and place the files in a directory called Podcasts in your home folder you would use:
wget -P ~/Podcasts `curl https://tuxjam.otherside.network/feed/podcast/ | grep -Eo 'https*://[^"]*ogg' | sort -u | xargs`
For more in this mini-series of audio command line tools then see:
860 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.