This file is indexed.

/usr/share/gnome-shell/extensions/ is in gnome-shell-extension-hide-activities 0.00~git20131024.1.6574986-1.

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

File Mime Type Owner Mode Size
..
/usr/share/gnome-shell/extensions/Hide_Activities@shay.shayel.org/ root:root 0o755
/usr/share/gnome-shell/extensions/Hide_Activities@shay.shayel.org/extension.js text/plain root:root 0o644 931 bytes
/usr/share/gnome-shell/extensions/Hide_Activities@shay.shayel.org/metadata.json text/plain root:root 0o644 188 bytes
/usr/share/gnome-shell/extensions/Hide_Activities@shay.shayel.org/stylesheet.css text/plain root:root 0o644 12 bytes