/usr/share/vlc/utils/video-vlc-default.sh is in vlc-data 3.0.1-3build1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | #!/bin/sh
# $Id$
#
# Copyright © 2007 VideoLAN team
#
# Authors: http://forum.videolan.org/viewtopic.php?f=13&t=40560
# Rafaël Carré <funman@videolanorg>
#
# Sets VLC media player the default application for video mime types
# on a freedesktop compliant desktop
#
MIME_FILE=~/.local/share/applications/defaults.list
if [ ! -f $MIME_FILE ]
then echo "[Default Applications]" > $MIME_FILE
else grep -v 'video/' $MIME_FILE > /tmp/vlc.defaults.list.tmp
mv /tmp/vlc.defaults.list.tmp $MIME_FILE
fi
ls /usr/share/mime/video/* | sed -e 's@/usr/share/mime/@@' -e 's/\.xml/=vlc.desktop/' >> $MIME_FILE
|