การตั้งค่าการพิมพ์ GDB ใน Ubuntu 13.10

ผมพยายามที่จะตั้งค่า GDB สวยพิมพ์ (สำหรับการทำงานง่ายขึ้นด้วยภาชนะมาตรฐาน) ตามanwer นี้ แทนการใช้รหัสหลามเครื่องพิมพ์สวยจาก SVN ผมใช้คนที่เรือกับอูบุนตู หลังจากผ่านกระบวนการที่เหลือฉันก็พบข้อความแสดงข้อผิดพลาดต่อไปนี้เมื่อเรียกใช้ gdb:

For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>...
Traceback (most recent call last):
  File "<string>", line 3, in <module>
  File "/home/nietaki/gdb_printers/python/libstdcxx/v6/printers.py", line 54
    raise ValueError, "Cannot find type %s::%s" % (str(orig), name)
                    ^
SyntaxError: invalid syntax
/home/nietaki/.gdbinit:6: Error in sourced command file:
Error while executing Python code.

หลังจากดูปัญหาที่ลึกลงไปเล็กน้อยฉันพบว่าสาเหตุของการวางอยู่ลึกลง - Python 3 ที่ใช้ใน gdb ไม่สามารถใช้งานร่วมกับเครื่องพิมพ์สวย ๆ ของ libstdc ++ได้

ใครบ้างมีวิธีแก้ปัญหาการทำงานสำหรับที่? ตอนนี้ฉันติดอยู่กับผู้ช่วยเหลือ (มีประโยชน์ แต่ไม่สามารถใช้งานได้) จาก Dan Marinescu: http://www.yolinux.com/TUTORIALS/GDB-Commands.html#STLDEREF

การแก้ไขที่ง่ายที่สุดดูเหมือนว่าเป็นการตั้งค่าเครื่องพิมพ์สวย ๆ ตามปกติแล้วแปลงprinters.pyเป็น python3 โดยใช้ 2to3:

2to3 printers.py -w

ฉันทดสอบเพียงสั้น ๆ แต่ดูเหมือนว่าจะทำงานได้ดี