Skip to content

github

content

resource

forbid push to main


github web

  • 非梯子情况下,github web可以直接访问,但是可能非常慢;这种情况可以用wrap(只需要用基础版本的功能即可),主要是用域名解析的功能,这样就可以有很快的速度了;

github desktop

  • https://desktop.github.com/
  • 这个desktop软件非常好用,用来clone或者管理本地仓库,非常方便;
  • 最大的好处是,terminal里push,可能会因为网络的原因,push不上去。这个desktop软件,可以利用梯子,直接push上去,非常方便;

codespace

配置项

  • config file 参考: .devcontainer/devcontainer.json;
json
//
"hostRequirements": {
   "cpus": 2,
   "memory": "4gb",
   "storage": "32gb"
}

配置的机器配置会匹配最近的机器配置项;

json
 "customizations": {
  "vscode": {
   "extensions": [
    "GitHub.copilot",
    "alefragnani.Bookmarks",
    "Equinusocio.vsc-material-theme",
    "Equinusocio.vsc-community-material-theme",
    "equinusocio.vsc-material-theme-icons",
    "golang.go",
    "ms-vscode.vscode-typescript-next",
    "timonwong.shellcheck",
    "VisualStudioExptTeam.vscodeintellicode",
    "mhutchie.git-graph"
   ]
  }
 }

价格

对外端口