MediathekView
(quelloffen, Version 13.2.1 unter Linux Mint 20)
MediathekView ist ein auf Java basierendes Programm zum Betrachten und Herunterladen von Filmen aus verschiedenen öffentlich-rechtlichen Mediatheken, das nicht standardmäßig in Linux Mint vorinstalliert ist. Es kann aber bequem über das Terminal nachinstalliert werden:
sudo apt-get install mediathekview openjfx flvstreamer
Installation per apturl
Außerdem wird die Java-Laufzeitumgebung benötigt.
Anschließend steht das Programm unter ► Multimedia ► MediathekView zur Verfügung.