ReimuYk-CSDN博客

原创如何优雅的在windows之间共享文件

一、概述本文主要介绍如何使用sftp来在windows之间方便的共享文件，最后实现的效果是可以做到像访问本地文件一样来访问远端windows的文件二、测试环境目标机和测试机均为win 10系统（目标机表示被连接的机器，测试机是访问文件的机器）前提条件是目标机应当有公网IP，否则自然ssh也寻址不到了三、安装与配置1. 在目标机侧应当安装ssh server设置->应用->可选功能添加功能->找到OpenSSH服务器，安装分别使用ipconfig和

2021-01-23 22:24:46 385

原创【编码】VSCode的常用快捷操作

零、VSCode有一说一VSCode是我最喜欢用的IDE之一，首先当然是因为他的轻量，但是麻雀虽小、五脏俱全，对于开发而言是一个非常好的选择。VSCode有windows版本也有linux版本，不用担心跨平台编码习惯的问题。一、快捷键操作Ctrl + Backspace ：删除光标左侧的一个单词（ps:其实有可能是半个，如果你的光标在一个单词中间）Ctrl + Del ：删除光标右侧的一个单词（其实就是上面那个快捷键的对称功能）Ctrl + ←/→ ：将光标移动一个单词的位置（逗号

2020-10-19 22:47:14 303

原创【环境安装】Windows安装go-flutter-desktop桌面应用框架的环境

零、简介go-flutter-desktop是google开发的flutter GUI框架的第三方桌面应用框架（go-flutter仓库地址），可以将flutter APP变为windows或macos的桌面应用，支持跨平台兼容，本文将简单记录一下其在windows上的环境安装一、环境安装1. 下载安装go语言的环境https://golang.org/doc/install下载安装包之后一路默认安装即可，默认安装路径是C:/Go/2. 确认go语言的版本命令行键入go vers

2020-09-25 19:26:13 2187

原创【环境安装】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 200

原创【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 221

原创【环境安装】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 3947

原创【环境安装】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 3820

原创【PaperNotes】SOSP'17 DFSCQ，形式化验证crash-safe的文件系统

预备知识形式化背景（hoare logic、separation logic等），文件系统（inode，disk block等）介绍DFSCQ是在FSCQ基础上进一步的工作，FSCQ是用coq形式化验证后拥有crash-safe属性的串行文件系统，FSCQ对disk进行了建模，用coq规定了disk的行为，同时提出了crash hoare logic(CHL)这个能证明crash-sa...

2019-11-29 14:58:30 328

原创 CSAPP lab8 Cache

考虑到能看到这篇文章的基本都是“同道中人”了，我就开门见山地写东西不过多介绍了。。这次lab主要考察的是cache的内容，Part A要求用LRU规则模拟Cache，Part B则是将代码优化成Cache-Friendly-Code。。体感难度是下下位吧，不耗时间但是略吃智力，P-B优化想不出来可能就没戏了系列。。废话不多说。上效果图：Part A主要的坑是“禁止warning”，

2018-03-25 00:26:40 1142

原创【Python3/PIL】编辑图片的常用方法

最近碰到要处理人物立绘的问题。。由于工作量不算小，而且重复劳动很多，就想用程序来解决，python的PIL模块就包含了很多实用的模块，下面展示一下个人应用的接口。from PIL import Image1、将一个图片的透明部分应用到另一个图片emmm，这个算是有局限性吧，应用范围不广，但是批量修改立绘的时候抠图非常省力，简略带过一下def getAlpha(filename)

2018-01-15 14:53:47 3164

ReimuYk的博客