This file is indexed.

/usr/bin/xlet-settings is in cinnamon 3.6.7-8ubuntu1.

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

import os, sys

if len(sys.argv) < 3:
    print("usage:\n    xlet-settings <xlet_type> <uuid>\nor\n    xlet-settings <xlet_type> <uuid> <instance_id>")
else:
    os.execvp("/usr/share/cinnamon/cinnamon-settings/xlet-settings.py", (" ",) + tuple(sys.argv[1:]))