diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-05-25 15:15:16 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2022-05-25 15:15:16 +0200 |
| commit | 89a8955e79efd4efd37861582bd3da921b95aa41 (patch) | |
| tree | 6ce6b0fd3584b038caf08be1e1b3307e7e001603 /src/nix | |
| parent | 2f8a34cddcdd738afebde38e83b2315d3e305152 (diff) | |
| parent | 5b8c1deb18e0e6fc7a83fb8101cf5fc8dba38843 (diff) | |
Merge remote-tracking branch 'origin/file-fetcher'
Diffstat (limited to 'src/nix')
| -rw-r--r-- | src/nix/flake.md | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/src/nix/flake.md b/src/nix/flake.md index aa3f9f303..a1ab43281 100644 --- a/src/nix/flake.md +++ b/src/nix/flake.md @@ -181,9 +181,17 @@ Currently the `type` attribute can be one of the following: * `tarball`: Tarballs. The location of the tarball is specified by the attribute `url`. - In URL form, the schema must be `http://`, `https://` or `file://` - URLs and the extension must be `.zip`, `.tar`, `.tgz`, `.tar.gz`, - `.tar.xz`, `.tar.bz2` or `.tar.zst`. + In URL form, the schema must be `tarball+http://`, `tarball+https://` or `tarball+file://`. + If the extension corresponds to a known archive format (`.zip`, `.tar`, + `.tgz`, `.tar.gz`, `.tar.xz`, `.tar.bz2` or `.tar.zst`), then the `tarball+` + can be dropped. + +* `file`: Plain files or directory tarballs, either over http(s) or from the local + disk. + + In URL form, the schema must be `file+http://`, `file+https://` or `file+file://`. + If the extension doesn’t correspond to a known archive format (as defined by the + `tarball` fetcher), then the `file+` prefix can be dropped. * `github`: A more efficient way to fetch repositories from GitHub. The following attributes are required: |