百香果

摘要： #参考链接 bibi视频参考 bibi视频参考 文档参考 #latex编译器 下载 #latex 编辑器vscode下载 vscode配置Latex vscode配置Latex latex快捷键修改 #命令 需安装texlive texdoc ctex 打开ctex宏包说明文档 texdoc lsh 阅读全文

摘要： #移动 ngg 移动指定行 % 移动到下个匹配括号 ctrl-d 向下移动半页 ctrl-u 向上移动半页 w 向后移动一个单词 b 向前移动一个单词 H 移动屏幕顶部 M 移动屏幕中间 L 移动屏幕底部 { 下移动一个段落 } 上移动一个段落 ( 下移动一个段落 ) 下移动一个段落 #多文件 :v 阅读全文

摘要： vim ~/.vimrc " 显示行号 set number " 打开状态栏标尺 set ruler " 禁止生成 swap 恢复文件 set noswapfile " vim 内部使用的编码，默认使用 latin1，改成通用的 utf8 编码，避免乱码 set encoding=utf-8 " 自 阅读全文

摘要： 进到root用户 sudo -i 退出root 用户 exit 重设置root用户的密码 sudo passwd root 查看Ubuntu系统的版本号命令 cat /etc/issue 控制台的命令是crtl+Alt+T 阅读全文

摘要： https://blog.csdn.net/qq_39141486/article/details/124566720 阅读全文

摘要： https://zhuanlan.zhihu.com/p/77813702 阅读全文

摘要： Grep 是 Global Regular Expression Print 的缩写，它搜索指定文件的内容，匹配指定的模式，默认情况下输出匹配内容所在的行。注意，grep 只支持匹配而不能替换匹配到的内容。 grep 支持不同的匹配模式，比如默认的 BRE 模式，增强型的 ERE 模式，还有更强悍的 阅读全文

摘要： 引用https://www.cnblogs.com/rsty/p/10443749.html tar tar是linux中最常用的解压缩命令。tar命令可用于处理后缀名为tar，tar.gz，tgz，.tar.Z，tar.bz2的文件。 -c 建立新的压缩文件 -r 添加文件到已经压缩的文件 -u 阅读全文

摘要： SPIN官网 SPIN github SPIN是用于形式化验证并发程序的模型检测工具。Promela是SPIN的输入语法，通过LTL(Linear Temporal Logic)或者断言来对验证属性进行规约，并给出违反验证属性情况下的反例路径 github下载SPIN包 linux SPIN 安装( 阅读全文

摘要： 问题如下： 执行命令 sudo rm /var/lib/apt/lists/lock 阅读全文