注册 登录
爱吱声 返回首页

唐家山的个人空间 http://129.226.69.186/bbs/?1830 [收藏] [复制] [分享] [RSS]

日志

继续折腾验证工具

已有 11 次阅读2025-10-1 15:40

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

膜拜

鸡蛋

鲜花

路过

雷人

开心

感动

难过

评论 (0 个评论)

facelist doodle 涂鸦板

您需要登录后才可以评论 登录 | 注册

手机版|小黑屋|Archiver|网站错误报告|爱吱声   

GMT+8, 2025-10-1 19:49 , Processed in 0.022855 second(s), 17 queries , Gzip On.

Powered by Discuz! X3.2

© 2001-2013 Comsenz Inc.

返回顶部