From 444fc1fb49bde80244420dcd58e5fc26ea430fbd Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Mon, 4 Mar 2024 16:30:27 +0100 Subject: Update documentation, now that "foreign file" roots are implemented --- share/man/just-mr-repository-config.5.md | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'share') diff --git a/share/man/just-mr-repository-config.5.md b/share/man/just-mr-repository-config.5.md index 169e9a1d..97901061 100644 --- a/share/man/just-mr-repository-config.5.md +++ b/share/man/just-mr-repository-config.5.md @@ -75,6 +75,24 @@ The following fields are supported: This entry is optional. If missing, the root directory of the archive is used. +### *`"foreign file"`* + +Define a root as consisting of single file with given content at +a specific name with specified executable bit. + +The following fields are supported. + +- *`"content"`*, *`"fetch"`*, *`"distfile"`*, *`"mirrors"`*, *`"sha256"`*, + and *`"sha512"`* specify the file content in the same way as they specify + the archive content for an *`"archive"`* repository. + +- *`"name"`* specifies the name the content should have in the defined root. + It has to be a plain file name without implicitly specified sudirs. This + field is mandatory. + +- *`"executable"`* is a boolean indicating whether the fetched file should + be provided with the executable bit. Defaults to `false`. + ### *`"git"`* It defines as workspace root a part of a Git repository. -- cgit v1.2.3