创建一个文件命名为 .gdbinit. 的文件, 注意文件最后有一个.
随后会弹出提示“如果改变文件扩展名，可能会导致文件不可用。确实要更改吗？。
点击确定后文件名末尾的多余的点也会被自动移除。
Certainty of death. Small chance of success.
Windows 创建 .gdbinit 提示必须键入文件名
猜你喜欢
转载自www.cnblogs.com/zhurun/p/12510739.html
今日推荐
周排行