diff options
author | Roj <ez@roj.im> | 2022-12-08 02:13:45 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-08 00:13:45 +0100 |
commit | 44b2b950fd20e59fca1e6dddf522d456d2fd622f (patch) | |
tree | 3a2485812c6b302476a2eeb571164b2a44aadb98 /cli/schemas | |
parent | dac30af1510b12b5d81d2cd437560f8be6c2e01c (diff) |
feat(cli): support configuring the lock file in the config file (#16781)
This allows the user to completely opt out from the lock file or rename
it without having to use `--no-lock` and/or `--lock` in all commands.
## Don’t Use Lock File
```json
{
"lock": false
}
```
## Use Lock File With a Different Name
```json
{
"lock": "deno2.lock"
}
```
The CLI args `--no-lock` and `--lock` will always override what is in
the config file.
Co-authored-by: David Sherret <dsherret@users.noreply.github.com>
Diffstat (limited to 'cli/schemas')
-rw-r--r-- | cli/schemas/config-file.v1.json | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/cli/schemas/config-file.v1.json b/cli/schemas/config-file.v1.json index 26cd3ab77..7f6dcb4e3 100644 --- a/cli/schemas/config-file.v1.json +++ b/cli/schemas/config-file.v1.json @@ -355,6 +355,11 @@ } } } + }, + "lock": { + "description": "Whether to use a lock file or the path to use for the lock file. Can be overridden by CLI arguments.", + "type": ["string", "boolean"], + "default": true } } } |