devcdp_settings_init
Generates a hand-editable settings file containing every option, its current value, and an explanation. Prevents accidental overwrites by requiring explicit permission to replace existing files.
Instructions
Write a settings file containing every option with its current value and an explanation, so it can be edited by hand. Refuses to overwrite an existing file unless you say so.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | No | Where to write it. Defaults to devcdp.settings.json in the install directory. | |
| overwrite | No | Replace the file if it already exists. |