【问题标题】:gdb - refreshing display width and height when the host terminal resizes?gdb - 主机终端调整大小时刷新显示宽度和高度?
【发布时间】:2014-03-26 15:46:33
【问题描述】:

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

设置宽度 140
设置高度 80

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

如果没有内置支持,那么我(疯狂地)猜测 python 脚本可以做到这一点?

[编辑:在 Mint(Mate) 16 上使用 GNU gdb (GDB) 7.6.1-ubuntu,没有有趣的定制]

【问题讨论】:

  • 您使用的是什么操作系统?这是自定义 gdb 构建还是下载的?您的 TERM 环境变量设置正确吗?
  • 对不起,我疏忽了! Mint(Mate) 16,用于 env (7.6.1-ubuntu) 的标准 gdb,而 TERM 只是“xterm”(而且我对换行等没有任何奇怪之处,这可能表明它通常很混乱)

标签: gdb


【解决方案1】:

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

【讨论】:

  • 糟糕,我现在知道您没有提到 TUI。仍然是一个错误;但这会增加您修复的机会:-)
  • 感谢您的快速确认 - 以bug 16762提出
猜你喜欢
  • 1970-01-01
  • 1970-01-01
  • 2017-12-08
  • 2013-08-23
  • 2021-12-28
  • 2011-05-21
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多