gdb - GDB の値の代わりに「errno」名を出力します

Question

errnoGDBで数字だけでなく記号名を出力する方法はあるのだろうか。たとえば、代わりに

errno = 13

次のようなものを見たいです

EACCES

Answer 1

Python が組み込まれた最新の GDB があると仮定すると、Python インタープリターを使用して必要なことを行うことができます。

次の（テストされていない）コードは、ほぼ正しいはずです。

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

perrno入力を削減する python コマンド、たとえば を定義できるはずです。ドキュメンテーションはこちら。