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

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

set width 140 set height 80 设置宽度140 设置高度80 但这种“在一个地方读数字，在另一个地方输入数字”的做法要求实现自动化。我曾希望超出范围的值（设置宽度-1）或像“刷新”这样的命令会触发重置，但我还没有找到任何东西

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

---

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

这只是一个gdb bug。请在gdb bugzilla中归档，但要注意TUI维护不足。

您使用的是什么操作系统？这是一个定制的gdb版本还是下载的版本？您的术语环境变量设置正确吗？对不起，我忽略了！Mint（Mate）16，env（7.6.1-ubuntu）的标准gdb，术语只是“xterm”（我对换行符等没有任何奇怪之处，这可能会让人感到困惑）哎呀，我现在明白了，你没有提到TUI。还是一只虫子；但这会增加修复的机会：-）感谢您的快速确认-作为