This file is indexed.

/usr/bin/screenlets-manager is in screenlets 0.1.6-0ubuntu2.

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
#!/bin/sh
PREFIX=$(cat /etc/screenlets/prefix)
if [ -e $PREFIX/share/screenlets-manager/screenlets-manager.py ]; then
	exec python -u $PREFIX/share/screenlets-manager/screenlets-manager.py $@
else
	exec python -u /usr/share/screenlets-manager/screenlets-manager.py $@
fi