Raspbian, das auf Debian basierende Standard-Betriebssystem für den Raspberry Pi, ist in Version 2018-11-13 mit einigen Neuerungen erschienen. Erstmals ist auch ein Medien-Player dabei, der in der Praxis brauchbar ist.
Quelle: https://www.pro-linux.de/news/…-13-erstmals-mit-vlc.html