delete
Command
Recursively delete one or more circuit projects and all of their associated builds and proofs.
This command will prompt for confirmation before deleting any projects unless the --force
option is provided.
Usage​
Usage: sindri project delete [options] [directory]
Delete a project and all associated builds and proofs.
Arguments:
directory The location of the Sindri project to delete. (default:
".")
Options:
-a, --all Delete *all* projects. Overrides the `--name` and
directory options.
-f, --force Skip the confirmation prompt.
-n, --name <name> The name of the project to delete. Overrides the directory
option.
-h, --help display help for command