书接上回。我不是把验证工具安装好了吗,但是使用的时候有一处麻烦。就是在证明时需要用一些工具内置的功能。这些功能如果用鼠标来操作,一点问题都没有。比方说右键打开一个新的配置窗口。但是用快捷键时,死活就行不通,系统没有响应。
但是没有快捷键,干活就甭谈效率了。这个问题还是要解决。
经过反复折腾,方法包括且不限于:安装不同的版本,使用VcXsrv替换WSLg,在VirtualBox上安装,在原生的Linux机器上安装,反复问DeepSeek。结果都没有搞定。最后都打算在Mailing List里去问人了。但是不甘心,觉得这个应该不是问题呀,别人肯定也是用快捷键工作的。
后来灵机一动,发现我的问题在什么地方了。比方说右键打开一个新配置窗口。快捷键是Ctr+G Ctr+P。我的操作是先Ctr+G,然后是Ctr+P。实际上应该是按着Ctr键不放,然后先G后P。后来想起来这是Emacs的标准用法,但是我是用Vi起步的,把这件事给忘了。整个一个白折腾
