This file is indexed.

/usr/bin/gnome-shell-extension-prefs is in gnome-shell 3.10.4-0ubuntu5.

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
#!/bin/sh

if [ -z "$GI_TYPELIB_PATH" ]; then
    export GI_TYPELIB_PATH=/usr/lib/gnome-shell
else
    export GI_TYPELIB_PATH=/usr/lib/gnome-shell:$GI_TYPELIB_PATH
fi

if [ -z "$LD_LIBRARY_PATH" ] ; then
    export LD_LIBRARY_PATH=/usr/lib/gnome-shell
else
    export LD_LIBRARY_PATH=/usr/lib/gnome-shell:$LD_LIBRARY_PATH
fi

/usr/bin/gjs-console -I /usr/share/gnome-shell/js -c "const Main = imports.extensionPrefs.main; Main.main(ARGV);" "$@"