Windows 创建 .gdbinit 提示必须键入文件名

0
9

file
创建一个文件命名为 .gdbinit. 的文件, 注意文件最后有一个.

随后会弹出提示“如果改变文件扩展名,可能会导致文件不可用。确实要更改吗?。
file
点击确定后文件名末尾的多余的点也会被自动移除。
file
Certainty of death. Small chance of success.

<

发布回复

请输入评论!
请输入你的名字