This file is indexed.

/usr/bin/cinnamon-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
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
#!/usr/bin/python3

""" Launch the cinnamon-settings utility, or a specific settings module

Usage:  cinnamon-settings [optional module name]
"""

import os
import sys

if len(sys.argv) > 1:
    module = sys.argv[1]
    if module in ("applets", "desklets", "extensions") and len(sys.argv) > 2 and sys.argv[2][0:5] != "panel":
        os.execvp("/usr/share/cinnamon/cinnamon-settings/xlet-settings.py", (" ", module[0:-1]) + tuple(sys.argv[2:]))
    if os.path.exists("/usr/share/cinnamon/cinnamon-settings/modules/cs_%s.py" % module):
        os.execvp("/usr/share/cinnamon/cinnamon-settings/cinnamon-settings.py", (" ",) + tuple(sys.argv[1:]))
    elif os.path.exists("/usr/bin/cinnamon-control-center"):
        os.execvp("/usr/share/cinnamon/cinnamon-settings/cinnamon-settings.py", (" ",) + tuple(sys.argv[1:]))
    elif os.path.exists("/usr/bin/gnome-control-center"):
        print ("Unknown module %s, calling gnome-control-center" % module)
        os.execvp("gnome-control-center", (" ",) + tuple(sys.argv[1:]))
    else:
        print ("Unknown module %s" % module)
        os.execvp("/usr/share/cinnamon/cinnamon-settings/cinnamon-settings.py", (" ",) + tuple(sys.argv[1:]))
else:
    os.execvp("/usr/share/cinnamon/cinnamon-settings/cinnamon-settings.py", (" ",) + tuple(sys.argv[1:]))