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

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

随后会弹出提示“如果改变文件扩展名，可能会导致文件不可用。确实要更改吗？。

点击确定后文件名末尾的多余的点也会被自动移除。

certainty of death. small chance of success.