this post was submitted on 25 Nov 2024
46 points (97.9% liked)

Open Source

31732 readers
120 users here now

All about open source! Feel free to ask questions, and share news, and interesting stuff!

Useful Links

Rules

Related Communities

Community icon from opensource.org, but we are not affiliated with them.

founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[โ€“] [email protected] 5 points 1 month ago (1 children)

There is a specialized player for that. Just run this command:

cat podcast.ogg >> /dev/null

Gets rid of all the uninteresting parts of any podcast!

[โ€“] [email protected] 2 points 1 month ago

Awesome, thank you. It was even installed on my system!