require OpenIPMI-tools to provide ipmitool command.
[monitor.git] / rt3 / local /
drwxr-xr-x   ..
drwxr-xr-x - html