CMU15445环境搭建
环境:Ubuntu20.04LTS
- 在自己的github上新建一个repo,名称可以是
private-bustub
,然后repo设置为private(老师要求的) - clone课程仓库
BusTub
$ git clone --depth 1 https://github.com/cmu-db/bustub.git public-bustub
- 将克隆的课程仓库mirror到自己的private-bustub仓库中
$ cd public-bustub
$ git push --mirror git@github.com:Ricardio609/private-bustub.git
执行此处的第二条指令时可能会存在错误,需要额外执行
git fetch --unshallow origin
。[错误原因](git - remote rejected master -> master (shallow update not allowed) error: failed to push some refs - Stack Overflow)
- 删除public-bustub
$ cd ..
$ rm -rv public-bustub
- 从自己的private库中clone private-bustub仓库
$ git clone git@github.com:Ricardio609/private-bustub.git
- 将public BusTub仓库的remote source添加到private-bustub中(为了能够将public中更新的内容pull到本地,这一步可以忽略,因为这是2020的lab,已经不会更新了)
$ cd private-bustub
$ git remote add public https://github.com/cmu-db/bustub.git
#从public bustub pull新的变化
$ git pull public master