docs: correct the repository name in the install procedure

The clone step named a repository that does not exist, so following the
procedure verbatim failed before reaching the install. The remote is
alexion/dotfiles.
This commit is contained in:
2026-07-19 16:55:10 -04:00
parent 8c85c02a7d
commit 5b3ebdccf3

View File

@@ -59,16 +59,16 @@ Confirm you have connectivity (`ping -c1 github.com`) before continuing.
Clone this repo onto the live ISO and work from that local checkout: Clone this repo onto the live ISO and work from that local checkout:
```console ```console
$ git clone ssh://gitea@git.alexion.dev:2022/alexion/dotfiles-nixos.git $ git clone ssh://gitea@git.alexion.dev:2022/alexion/dotfiles.git
$ cd dotfiles-nixos $ cd dotfiles
``` ```
Cloning over SSH needs your Gitea SSH key present in the live session, since the ISO starts with none. Cloning over SSH needs your Gitea SSH key present in the live session, since the ISO starts with none.
If getting the key onto the ISO is inconvenient, clone over HTTPS instead and tell git to skip the self-signed certificate: If getting the key onto the ISO is inconvenient, clone over HTTPS instead and tell git to skip the self-signed certificate:
```console ```console
$ git -c http.sslVerify=false clone https://git.alexion.dev/alexion/dotfiles-nixos.git $ git -c http.sslVerify=false clone https://git.alexion.dev/alexion/dotfiles.git
$ cd dotfiles-nixos $ cd dotfiles
``` ```
Do **not** point `disko-install` straight at the Gitea flake URL. Do **not** point `disko-install` straight at the Gitea flake URL.