创建一个文件命名为 .gdbinit. 的文件, 注意文件最后有一个.
随后会弹出提示“如果改变文件扩展名,可能会导致文件不可用。确实要更改吗?。 点击确定后文件名末尾的多余的点也会被自动移除。 Certainty of death. Small chance of success.
Windows 创建 .gdbinit 提示必须键入文件名
原文:https://www.cnblogs.com/zhurun/p/12510739.html