diff options
| author | John MacFarlane <[email protected]> | 2022-01-29 21:51:30 -0800 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-01-29 21:51:30 -0800 |
| commit | 9f4693d0030a2d46fbac0fe4062682b81434fcbf (patch) | |
| tree | e86efcf6b031dc994df9e79b7c5eaa0492f6d649 | |
| parent | c348c4d4fe99048fcf7380619ac6f6e02c533a72 (diff) | |
Document 'sandbox' option for defaults files.
See #7873.
| -rw-r--r-- | MANUAL.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index ae8ac1022..24d341685 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -1645,6 +1645,10 @@ stdin, and it can be an empty sequence `[]` for no input. | ``` | ``` | +----------------------------------+-----------------------------------+ | ``` | ``` yaml | +| --sandbox | sandbox: true | +| ``` | ``` | ++----------------------------------+-----------------------------------+ +| ``` | ``` yaml | | --log=FILE | log-file: FILE | | ``` | ``` | +----------------------------------+-----------------------------------+ |