Linux目录已空但磁盘空间仍被占用的原因与解决方法
最近在使用 /mnt/pmem3 做测试时，发现一个奇怪现象：
$ ls /mnt/pmem3 |
git push failed: ssh: connect to host github.com port 22: Connection timed out fatal: Could not read from remote repository.
报错：
$ git push -u origin main |
docker-connection-problem
报错1：
PS > docker pull ipads/oslab:25.03 |
vscode配置使用更加深色的主题
个人是把One Dark Darker主题的插件下载下来，在此基础上进行更改。
下载后，找到这个插件的目录，更改json文件。
文件路径为C:\Users\用户名\.vscode\extensions\joelcrosby.one-dark-darker-1.0.4\themes
git更改默认的编辑器
git合并最近几次的提交
比如要合并最近三次的提交
使用git rebase -i HEAD~3命令即可。
将显示的提交记录进行修改，将前几次的pick改为squash（理论上留下一个pick即可）
保存后即可完成合并，使用git push -f更新远端仓库。
perf命令快速使用
perf record -F 99 -p $(pgrep -u wsy -f test_ycsb) -g -- sleep 10 |
