There was no URL I could find for this video, then I found the URL for the previous RTL video within VLC. I also tried playing in VLC from a stream in the add on 'Video Mediaset', which actually started playing in VLC, but unfortunately I couldn't find any way of saving it. First of all I tried a stream from the video add on 'RTLxl', but although VLC opened, the stream displayed a similar effect to BBC iPlayer videos, meaning that it wouldn't play, then a dialogue box appeared asking me to delete or close. This enabled me to play back streams in VLC. I copied your edited version of the file into the userdata folder. I hope someone can tell me what changes I need to make to this file to launch VLC from inside Kodi. Some videos played by the video add ons are on websites with accompanying URLs, while others may be just streamed from somewhere on the Internet, but not on a website at all. 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.

Kodi default player