codecamp

GitHub 个性化您账户的 Codespaces

代码空间 使用您在 GitHub 上的 dotfiles 仓库个性化您创建的每个新代码空间。

任何人都可以创建 dotfiles 仓库来个性化其用户帐户的 代码空间。

代码空间可用于使用 GitHub Free 或 GitHub Pro 的用户帐户。 更多信息请参阅“GitHub 的产品”。

注:代码空间 目前是有限公测版,可能会有变动。 在公测期间,GitHub 不对 代码空间 的可用性做任何保证。 有关加入公测的更多信息,请参阅“关于 代码空间”。

Dotfiles 是类似 Unix 的系统上以 . 开头的文件和文件夹,用于控制系统上应用程序和 shell 的配置。 您可以在 GitHub 上的仓库中存储和管理 dotfiles。 有关 dotfiles 仓库中所含内容的建议和教程,请参阅 GitHub 执行 dotfiles

如果您在 GitHub 上的用户帐户拥有名为 dotfiles 的公共仓库,GitHub 会自动使用这个仓库来个性化设置您的代码空间环境。 私有 dotfiles 仓库目前不支持。

dotfiles 仓库可能包括 shell 别名和首选项、您想要安装的任何工具或您想要执行的任何其他代码个性化。

使用 dotfiles 仓库的代码空间个性化设置应用到您创建的任何代码空间。 项目维护员还可以定义默认配置,将应用到任何人创建的仓库的每个代码空间。 dotfiles 个性化的应用先于仓库的默认码空间配置。 更多信息请参阅“为项目配置 代码空间”。

创建新的代码空间时,GitHub 会将 dotfile 仓库克隆到代码空间环境,并查找以下文件之一来设置环境。

  • install.sh
  • install
  • bootstrap.sh
  • bootstrap
  • setup.sh
  • setup

如果未找到这些文件,则 dotfiles 中以 . 开头的文件或文件夹通过符号链接到代码空间的 ~$HOME 目录。

dotfile 仓库所做的任何更改只会应用到每个新的代码空间,而不影响任何现有的代码空间。

更多信息请参阅 Visual Studio Code 文档中的个性化

注:目前,代码空间 不支持使用 dotfiles 仓库个性化 Visual Studio Code 编辑器的用户设置。 您可以为项目仓库中的特定项目设置默认的 WorkspaceRemote [Codespaces] 设置。 更多信息请参阅“为项目配置 代码空间”。

延伸阅读

GitHub 在代码空间中开发
GitHub 删除代码空间
温馨提示
下载编程狮App,免费阅读超1000+编程语言教程
取消
确定
目录

GitHub 身份验证

在 GitHub 上管理订阅和通知

在 GitHub 上管理活动的订阅

GitHub 组织和团队

GitHub 管理对组织仓库的 Git 访问

GitHub 计费和付款

GitHub 使用议题和拉取请求进行协作

GitHub 在具有代码质量功能的仓库上进行协作

管理在 GitHub 上的工作

GitHub 建立强大的社区

GitHub 管理仓库

GitHub 自定义 GitHub 工作流程

在 GitHub Marketplace 中购买并安装应用程序

通过 GitHub Jobs 寻找人才

关闭

MIP.setData({ 'pageTheme' : getCookie('pageTheme') || {'day':true, 'night':false}, 'pageFontSize' : getCookie('pageFontSize') || 20 }); MIP.watch('pageTheme', function(newValue){ setCookie('pageTheme', JSON.stringify(newValue)) }); MIP.watch('pageFontSize', function(newValue){ setCookie('pageFontSize', newValue) }); function setCookie(name, value){ var days = 1; var exp = new Date(); exp.setTime(exp.getTime() + days*24*60*60*1000); document.cookie = name + '=' + value + ';expires=' + exp.toUTCString(); } function getCookie(name){ var reg = new RegExp('(^| )' + name + '=([^;]*)(;|$)'); return document.cookie.match(reg) ? JSON.parse(document.cookie.match(reg)[2]) : null; }