docker在WSL2环境中的代理问题

事情的起因

是,电脑最近重装了系统之后,docker一直还没安装,最近做毕设正好有需求,再加上久闻docker大名,想要成为docker糕手😍

但是,如果你:

  1. 人在中国
  2. 使用windows系统下的docker desktop
  3. 使用WSL2而不是WSL1

那么恭喜你,你将喜提一个超~~级难debug的bug(好像是最近一个新的bug,仓库里有人发了关于这个问题的issue


Read more

git——人类好朋友

本地/远程分支创建和删除

1
2
3
4
5
6
# 删除本地分支
git branch -d <branch-name>
# 删除远程分支
git push -d <remote-name> <branch-name>
# 删除已经不存在于远程仓库的本地远程分支
git remote prune <remote-name>

git submodule初步运用

实际场景:在博客主仓库中日常更新日志内容的同时,想要对主题仓库进行个性化修改,或者更进一步,对原主题仓库提出PR,进行contribute。主仓库需要拥有子仓库的文件内容,因为前者要根据后者的资源进行页面的渲染。

这样,我们就需要在主仓库(blog)中包含子仓库(themes)。为了更方便地管理他们,需要使用git submodule。

原来的做法

Read more

cse-lab1踩坑

  1. memcpy与strncpy。
  2. get_inode需要在堆中分配内存。
  3. 局部字符数组最好初始化为0。
  4. ino的block不要随便free,有可能free掉别人的合法block。
Read more

配置hexo博客,并更换多种主题

hexo 博客的基本维护方式

搭建过程可参考hexo 博客搭建教程

hexo 提供了便捷的构建、部署功能。在本地添加了新的 markdown 日志或者图片之后,只需执行如下代码:

1
2
3
4
5
6
# 清除已有的构建目录,默认为public
hexo clean
# 构建新的静态文件,g是generate的缩写
hexo g
# 一条命令直接部署,d是deploy的缩写
hexo d

就会把本地的 public 文件夹 push 到对应的 github 仓库,并将网站自动部署到 {github用户名}.github.io

此外,如果想要维护本地源文件,还可以单独创建一个私有 github 仓库,用于存放 source 文件中的源文件等等。

Read more