This file is indexed.

/usr/share/gnome-shell/extensions/ is in gnome-shell-extension-autohidetopbar 20140113-1.

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

File Mime Type Owner Mode Size
..
/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/ root:root 0o755
/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/convenience.js text/x-c root:root 0o644 3.9 KB
/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/extension.js text/plain root:root 0o644 6.6 KB
/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/metadata.json text/plain root:root 0o644 384 bytes
/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/prefs.js text/x-c root:root 0o644 3.8 KB
/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/schemas/ root:root 0o755
/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/schemas/gschemas.compiled application/octet-stream root:root 0o644 680 bytes