@VictorVenema @gnome VLC is what I used on Mac to play multimedia and same app exists for Linux too. Firefox also. I haven't encountered any problems and it would be impossible to use Linux for me if it couldn't play media. Do run it on a USB to test your hardware though to make sure it all works or simply buy a Linux ready laptop
@markosaric I have VLC for Windows. If you do not have any problems, then it is probably just a matter of the right software not being installed on the university computers. Think I will give a try.
Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.