mihau

arte no longer offers mp4 files on their servers. even if [GuGuss](https://github.com/GuGuss) finds the time to rewrite the script, you will have to rely on additional external tools such as...

@vinceguille @frouty this gets the stream url (link appears on top) for now, it's not pretty but it works: https://gist.github.com/uahim/dc82bbedd3b5e6c999af39ab5d45c643 you can then feed it to youtube-dl (or its forks)...

 @vinceguille yes, third party appilcations which you have to install. the js file is a simple user javascript which runs in your browser (greasemonkey or such) just like GuGuss'...

@[vinceguille](https://github.com/vinceguille) sorry it doesn't work for you, even though I tested it with different addons in different browsers, I do not have a solution or explanation why it does [not...

...or you can use browser extensions/addons such as "Bulk File Downloader" or "The Stream Detector" also, users on linux/*nix systems or such with Cygwin experience can use this tiny shell...

@Bumbadawg https://github.com/yt-dlp/yt-dlp/pull/3302#issuecomment-1152951721 turns out they only moved the mp4 links to another place, maybe this is helpful to fix ARTE-7-Downloader

@osvivant sure, let's talk on the [Gist](https://gist.github.com/uahim/9b755b3a728bf790f67488f84f26a3ba) page

@Tyr4El as far as I know, this script is dead and there are no forks I suggest using [yt-dlp](https://github.com/yt-dlp/yt-dlp) or my [userjs](https://gist.github.com/uahim/dc82bbedd3b5e6c999af39ab5d45c643) or [bash script](https://gist.github.com/uahim/9b755b3a728bf790f67488f84f26a3ba) solutions - none of which...

in-browser solution until someone fixes the extractor; bookmarklets: https://gist.github.com/uahim/b0c4b43101440b1f1525ef647025a9f2

well yt-dlp extractor still doesn't work, right? @MuenchenSued let's continue this discussion under here then https://gist.github.com/uahim/b0c4b43101440b1f1525ef647025a9f2