This file is indexed.

/usr/share/checkbox/patches/0.8 is in checkbox 0.13.7.

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
27
28
29
30
31
#!/usr/bin/python

import sys

from StringIO import StringIO


def Config(filename):
    globals = {}
    module = "/usr/share/checkbox/install/config"
    exec open(module) in globals
    config = globals["Config"]()
    config.read(filename)

    return config

def main(args):
    config_file = "/etc/checkbox.d/%s.ini" % args[0]
    config = Config(config_file)

    if config.has_section("checkbox/plugins") \
       and not config.has_option("checkbox/plugins", "blacklist"):
        config.set("checkbox/plugins", "blacklist", "backend_manager")

    # Rename options
    file = open(config_file, "w")
    config.write(file)


if __name__ == "__main__":
    main(sys.argv[1:])