This file is indexed.

/usr/share/vlc/utils/video-vlc-default.sh is in vlc-data 2.2.2-5.

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