gdb - 主机终端调整大小时刷新显示宽度和高度？

Question

当gdb运行时，它将其初始显示大小设置为主机终端的显示大小，即在屏幕后分页并在右边缘上换行。调整终端大小后，我可以手动重置这些值，例如：

set width 140
set height 80

但是这个“在一个地方读取数字，将它们输入另一个地方”需要自动化。我曾希望超出范围的值（设置宽度-1）或像“刷新”这样的命令会触发重置，但我还没有找到任何东西。

如果没有内置支持，那么我（疯狂地）猜测python脚本可以做到这一点吗？

[编辑：在Mint（Mate）16上使用GNU gdb（GDB）7.6.1-ubuntu，没有有趣的自定义]

Answer 1

它只是一个gdb错误。请在gdb bugzilla中提交，但请注意TUI维护不足。