MediathekWebView habe ich letztens ja schonmal vorgestellt. Ein wunderbares Tool um Sachen aus der Mediathek zu finden. Wenn man allerdings mal mehrere Sachen auf einmal wegsichern will, ist es etwas aufwändig, bei jedem Suchergebnis auf einen Button zu drücken und den Link zu kopieren.

Da ich keine Funktion im Interface fand um direkt eine Liste von Download-Links zu exportieren, schrieb ich ein kurzes JavaScript, was man kurz in die Developer Tools kopieren kann:

Array.from(document.querySelectorAll('#mediathek tr')).map(el => {
    const title = el.querySelectorAll('td')[2]?.innerHTML
    const url = el.querySelector('td a[href$="mp4"]')?.getAttribute('href');
    return {title, url}
})
    .filter(({url}) => !!url)
    .map(({title, url}) => `wget -O "${title}.mp4" "${url}"`)
    .join("\n")

Das Ergebnis kann man kurz kopieren und ins Terminal pasten. Natürlich ist die Seite noch paginiert und es sind auch nur fünfzehn Ergebnisse pro Seite, je nach dem muss man den Code also mehrfach ausfüllen, aber auch für zehn Seiten dauert das ja nur Sekunden und schwupps kann man sich freuen über einige neue Gigabyte Datenmüll, die man sicher nicht nochmal anschaut, aber unbedingt gesichert haben wollte. Haben ist besser als brauchen, ne.