This file is indexed.

/usr/share/checkbox/patches/0.1-ubuntu4 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
#!/bin/sh

config_file="/etc/hwtest.d/$1.ini"

if [ "$1" = "hwtest" ]; then
    sed -i 's|/tmp/submission.xml|/var/cache/hwtest/submission.xml|' $config_file
fi