通过编辑器使用Git

通过编辑器使用Git

介绍

什么是 Git?

Git 是一个代码版本管理系统,在软件项目中被广泛使用。它尤其可以让你:

由 Git 管理版本的文件夹称为仓库(英文 _repository_ 或 _repo_)。

什么是代码托管平台?

Git 既是一个可以在本地(在你的电脑上或在 Leek Wars 的编辑器中)使用的软件,也可以与代码托管平台(forge)交互。这是一种托管 Git 仓库的服务器。

Leek Wars 支持多个托管平台,最简单的是从下面这些中选一个:

也可以使用其他基于 GitLab、Bitbucket、Forgejo、Gitea 或 Gogs 的托管平台,例如 framagit.org 或 gitea.com。

为已有的 AI 使用 Git

首先,AI 必须位于一个文件夹中,而不是根目录。创建一个文件夹,右键单击该文件夹,选择“初始化 Git 仓库”。这个文件夹将包含所有要纳入 Git 的文件。

文件列表(左侧菜单)顶部会出现一个带有分支图标的 Git 标签页。点进去。

进行提交

(提交,英文 commit)

在 Git 标签页顶部,检查下拉选择器中选中的是你想要的仓库(如果你有多个的话)。

当仓库中的文件被修改时,修改会出现在 Git 标签页中。此时它们还是未暂存的:就像一份草稿,尚未刻进历史记录的石碑。

当你想把修改记录进历史时,点击 ➕ 按钮将它们暂存。在“提交信息”字段中用几个词概括这些修改,然后确认。

注意:为了看清 Git 标签页中的所有按钮,可能需要拖动它的右边缘把它向右拉宽!

历史记录是一个提交列表,每个提交是一组修改,带有日期和信息。这样做的目的是可以查到某项修改是什么时候做的、可以回退,还可以把修改分组以避免代码处于半成品状态……

连接到托管平台

在托管平台上的配置

在一个 Git 托管平台上注册账号,并在那里创建一个空仓库。找到你仓库的地址,它应该类似于 https://exemple.net/mon-pseudo/mon-depot.git。这就是你仓库主页的地址,末尾多了 .git

接下来需要授权 Leek Wars 访问该仓库。具体步骤取决于托管平台。

如果你创建了令牌(token),请妥善保存,不要弄丢!

在 Leek Wars 上的配置

在 Git 标签页底部,点击云朵图标按钮“远程设置”。

在这里声明远程仓库(remote):填写一个名称(例如 origin),粘贴仓库的 URL,然后点击“添加”按钮。这一步是推送任何内容之前必不可少的。

对于身份验证,选择你的托管平台:GitHub、GitLab、Bitbucket 或 Forgejo。

把提交发送到服务器

目前,提交历史只保存在 Leek Wars 中。要把它发送到托管平台,需要用 Git 标签页最底部的 ⬆ 按钮进行推送(push)。

以后每当你想发送新的提交时,都做一次推送。

其他功能

编辑器和 Git 标签页还提供: