在GDB中打印`errno`名称而不是值

Question

我想知道是否有任何方法可以打印errno符号名称而不只是GDB中的数字.例如,而不是

errno = 13

我想看到类似的东西

EACCES

Answer 1

假设你有一个最近的嵌入式Python GDB,你可以使用Python解释器来做你想要的.

以下(未经测试的)代码应该是正确的:

(gdb) python import errno
(gdb) python print errno.errorcode[13]

你应该能够定义一个python命令,例如perrno,它将减少打字.文档在这里.