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

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

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

posted @ 2020-03-17 14:58  同叔练级之路  阅读(419)  评论(0编辑  收藏  举报