This file is indexed.

/usr/sbin/ipmimonitoring is in freeipmi-tools 1.1.5-3ubuntu3.

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

options="--output-sensor-state"
verboseset=0

while test $# != 0
  do
  case "$1" in
      --legacy-output)
	  options="$options --ipmimonitoring-legacy-output"
	  ;;
      -v)
	  verboseset=1
	  ;;
      *)
          options="$options $1"
	  ;;
  esac
  shift
done

if [ "$verboseset" = "0" ]; then
    options="$options --ignore-not-available-sensors"
fi

exec /usr/sbin/ipmi-sensors $options