注册 登录
爱吱声 返回首页

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

日志

继续折腾验证工具

热度 11已有 130 次阅读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起步的,把这件事给忘了。整个一个白折腾
1

膜拜

鸡蛋
7

鲜花

路过

雷人
2

开心
1

感动

难过

刚表态过的朋友 (11 人)

发表评论 评论 (1 个评论)

回复 伯威 2025-10-4 08:52
这种快捷键很烦人。俺在windows terminal里开wsl。好像是AI说很好用,所以win10特地装了windows terminal。但是很多gnome terminal里能用的热键在这里消失或者被重新定义了。俺的解决之道是在wslg里不用这些热键了。wslg里开gnome-terminal/xfce-terminal好像不如windows terminal好使,具体是什么缺点俺已经忘了。

facelist doodle 涂鸦板

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

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

GMT+8, 2025-10-5 17:57 , Processed in 0.023509 second(s), 19 queries , Gzip On.

Powered by Discuz! X3.2

© 2001-2013 Comsenz Inc.

返回顶部