The following lines were added (+) and removed (-):
If you are replacing the Debain/Ubuntu/Mint installed VLC from apt you can, as an option, leave the APT version on the system then ad the appimage and do the following (as an example): sudo mv /usr/bin/vlc /usr/bin/vlc.bak sudo ln -s /home/nicolep/VLC_media_player-3.0.11.1-x86_64.AppImage /usr/bin/vlcAssuming that you placed the AppImage in your home directory. Simply substitute the path with your own home directory or wherever you saved VLC_media_player-3.0.11.1-x86_64.AppImage and the specific filename of your VLC AppImage version .