diff options
| author | amesgen <amesgen@amesgen.de> | 2022-12-06 00:16:26 +0100 |
|---|---|---|
| committer | Alexander Esgen <alexander.esgen@tweag.io> | 2022-12-07 12:38:18 +0100 |
| commit | a5ab253e8f9ac5010937f8b1f1edee3e29f5c076 (patch) | |
| tree | 19048c31d362e4399e25749505d7575a159173d7 /src/nix | |
| parent | 105677140dc3674977381a3c3f803c31999d0c19 (diff) | |
Mention `host` parameter for GitHub
Diffstat (limited to 'src/nix')
| -rw-r--r-- | src/nix/flake.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/nix/flake.md b/src/nix/flake.md index 039215b72..c7caa4a56 100644 --- a/src/nix/flake.md +++ b/src/nix/flake.md @@ -216,11 +216,15 @@ Currently the `type` attribute can be one of the following: commit hash (`rev`). Note that unlike Git, GitHub allows fetching by commit hash without specifying a branch or tag. + You can also specify `host` as a parameter, to point to a custom GitHub + Enterprise server. + Some examples: * `github:edolstra/dwarffs` * `github:edolstra/dwarffs/unstable` * `github:edolstra/dwarffs/d3f2baba8f425779026c6ec04021b2e927f61e31` + * `github:internal/project?host=company-github.example.org` * `gitlab`: Similar to `github`, is a more efficient way to fetch GitLab repositories. The following attributes are required: |