首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >创建新的gdbinit文件

创建新的gdbinit文件
EN

Stack Overflow用户
提问于 2012-01-25 06:42:34
回答 1查看 3.4K关注 0票数 0

基本上我是在学校的电脑上尝试使用gdb。但是有太多的初始配置,所以我想把它们放到gdbinit中。但是gdbinit超出了我的权限级别,所以我无法更改它。有没有办法在我的主文件夹中设置我自己的gdbinit?

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2012-01-25 12:01:20

有没有办法在我的主文件夹中设置我自己的gdbinit?

是:如果你有$HOME/.gdbinit,gdb会读取它。

票数 2
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/8995351

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档