diff options
| -rw-r--r-- | doc/future-designs/just-lock.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/future-designs/just-lock.md b/doc/future-designs/just-lock.md index d26ca69d..bb347005 100644 --- a/doc/future-designs/just-lock.md +++ b/doc/future-designs/just-lock.md @@ -435,8 +435,6 @@ The type of a _source_ is defined by the string value of the mandatory subfield from the same **git** source, the user must split that **git** source into two corresponding **git** entries and place the **generic** entry between them. - The calling environment is inherited. - Proposed format: ``` jsonc { "source": "generic" @@ -445,5 +443,6 @@ The type of a _source_ is defined by the string value of the mandatory subfield // if missing, defaults to "." , "cmd": [...] // mandatory; command to run, as list of strings , "env": {...} // optional; map of envariables needed by script + , "inherit env": [...] // optional; list of envariables to inherit } ``` |