Linux
ReimuYk
这个作者很懒,什么都没留下…
展开
-
【编码】VSCode的常用快捷操作
零、VSCode有一说一VSCode是我最喜欢用的IDE之一,首先当然是因为他的轻量,但是麻雀虽小、五脏俱全,对于开发而言是一个非常好的选择。VSCode有windows版本也有linux版本,不用担心跨平台编码习惯的问题。一、快捷键操作Ctrl + Backspace : 删除光标左侧的一个单词(ps:其实有可能是半个,如果你的光标在一个单词中间)Ctrl + Del : 删除光标右侧的一个单词(其实就是上面那个快捷键的对称功能)Ctrl + ←/→ : 将光标移动一个单词的位置(逗号原创 2020-10-19 22:47:14 · 296 阅读 · 0 评论 -
【环境安装】emacs+coq遇到证明不能后退反而报错的情况
问题个人使用的ubuntu18.04,coq版本是8.11.2,proofgeneral是2020年9月22日直接apt-get install下来的,但是由于proofgeneral仓库维护的一些问题(看了下好像他们近期版本的CI没有过),所以有各式各样的bug,我遇到的是证明能向下走但是不能回退,要不就是从头开始,那显然是一个bug。。报错信息类似No numerical 1357等等。解决方案去github上手动安装老版本的proofgeneral首先删除老版本的proofgenera原创 2020-09-22 14:45:10 · 197 阅读 · 0 评论 -
【Linux】tmux命令行工具的使用
一、环境安装sudo apt-get install tmux二、基本使用功能是其实和screen类似,可以在一个命令行里布局多个session同时操作,这里仅做一些个人使用的笔记,不罗列文档,记得的话会随时更新0.进入tmux参数都是可选的,直接shell输tmux即可tmux1.分屏tmux支持将一个shell窗口切成多个shell分隔窗口Ctrl-b Shift-'将光标所在位置的窗口切成上下两个分隔窗口Ctrl-b Shift-5将光标所在位置的窗口切原创 2020-09-17 18:53:33 · 216 阅读 · 0 评论 -
【环境安装】fuse & libfuse-dev
Package fuse was not found in the pkg-config search path.Perhaps you should add the directory containing `fuse.pc'to the PKG_CONFIG_PATH environment variableNo package 'fuse' found#include <f...原创 2020-03-28 14:30:20 · 3825 阅读 · 0 评论 -
【环境安装】ubuntu18.04利用opam安装指定版本的coq工作环境
整理了一下从无环境的ubuntu18.04虚拟机到可以证代码的工作环境需要经历的安装流程和命令作为笔记和分享。第一步:安装opamadd-apt-repository ppa:avsm/ppaapt updateapt install opam安装如果出现错误则根据报错安装指定依赖等,(缺少cc是需要安装gcc)然后初始化和更新opam,(opam没有进度条,需要耐心等候。。...原创 2020-01-29 17:14:18 · 3799 阅读 · 0 评论