This file is indexed.

/usr/sbin/ipmi-sensors-config is in freeipmi-tools 1.4.11-1ubuntu1.

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

options="--category=sensors"

while test $# != 0
  do
  case "$1" in
      *)
          options="$options $1"
	  ;;
  esac
  shift
done

exec /usr/sbin/ipmi-config $options