This file is indexed.

/usr/share/gnome-shell/extensions/user-theme@gnome-shell-extensions.gcampax.github.com/metadata.json is in gnome-shell-extensions 3.10.1-0ubuntu2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
{
 "uuid": "user-theme@gnome-shell-extensions.gcampax.github.com",
 "extension-id": "user-theme",
 "settings-schema": "org.gnome.shell.extensions.user-theme",
 "gettext-domain": "gnome-shell-extensions",
 "name": "User Themes",
 "description": "Load shell themes from user directory.",
 "shell-version": [ "3.10" ],
 "original-authors": [ "john.stowers@gmail.com" ],
 "url": "http://git.gnome.org/gnome-shell-extensions"
}