【发布时间】: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