Python 如何获取服务器的IPMI地址？

我正在编写一个Python程序，用于收集运行它的主机的信息

要收集的信息包括IPMI地址

---

在谷歌搜索之后，我发现了一个名为

ipmitool

的命令行工具，但我不知道如何让它输出IPMI地址。

在我的一台带有IPMI的Ubuntu 14.04服务器中，

sudo ipmitool lan print

提供了一个包括IPMI管理接口IP的输出

Set in Progress         : Set Complete
Auth Type Support       : NONE MD2 MD5 PASSWORD
Auth Type Enable        : Callback : MD2 MD5
                        : User     : MD2 MD5
                        : Operator : MD2 MD5
                        : Admin    : MD2 MD5
                        : OEM      :
IP Address Source       : Static Address
IP Address              : 10.0.3.80
Subnet Mask             : 255.255.0.0
MAC Address             : f0:..:..:..:..:..
SNMP Community String   : public
IP Header               : TTL=0x40 Flags=0x40 Precedence=0x00 TOS=0x10
BMC ARP Control         : ARP Responses Enabled, Gratuitous ARP Disabled
Gratituous ARP Intrvl   : 2.0 seconds
Default Gateway IP      : 10.0.0.1
Default Gateway MAC     : 00:00:00:00:00:00
Backup Gateway IP       : 0.0.0.0
Backup Gateway MAC      : 00:00:00:00:00:00
802.1q VLAN ID          : Disabled
802.1q VLAN Priority    : 0
RMCP+ Cipher Suites     : 0,1,...
Cipher Suite Priv Max   : Xa...