如何获取服务器的 IPMI 地址?

How to get the IPMI address of a server?

我正在编写一个 Python 程序,用于收集有关其 运行 所在主机的信息。

要收集的信息中有 IPMI 地址。

谷歌搜索后,我发现了一个名为 ipmitool 的命令行工具,但我不知道如何让它输出 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...