摘要：
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 阅读全文
摘要：
参考1 参考2 #永久修改 创建pip.conf文件 mkdir ~/.pip cd ~/.pip touch pip.conf 编辑pip.conf文件 sudo gedit ~/.pip/pip.conf 写入豆瓣源 [global] index-url = http://pypi.douban 阅读全文
摘要：
https://www.cnblogs.com/zhangxinqi/p/9210211.html 阅读全文