/usr/share/checkbox/patches/0.1-ubuntu13 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 | #!/bin/sh
package_old=`echo $1 | sed 's|checkbox|hwtest|'`
config_old="/etc/hwtest.d/$package_old.ini"
config_new="/etc/checkbox.d/$1.ini"
sed -e 's|hwtest|checkbox|g' -e 's|Hardware|System|' < $config_old > $config_new
if [ "$1" = "checkbox" ]; then
cat <<'EOF' >>$config_new
[checkbox/plugins/boot_prompt]
enable = false
[checkbox/plugins/delay_prompt]
timeout = 0
EOF
fi
rm -f $config_old
rmdir --ignore-fail-on-non-empty `dirname $config_old`
|