

An alternative would be for me to copy the URLs for these videos into Kodi, as with YouTube videos, but I can’t see any signs of any URLs for any videos within Kodi. I’ve tried changing this for my Linux Mint 18 KDE installation, but after a few hours working on this, VLC Media Player still won’t launch from inside Kodi, only the default internal player works. It includes the location and filename of VLC Media Player. The script has to be copied into Kodi’s userdata folder, which I’ve done.

Users have to download a script, which I’ve posted below. Unfortunately, their advice for how to do this within Kodi only applies to the Windows version. I bought a copy of Web User magazine (UK) because it had details of how to record video streams which have no option to download.
