This command is a shortcut to
klee volume rm.
Remove one or more volumes.
Usage¶
Refer to the options section for an overview of available OPTIONS for this command.
Description¶
Remove one or more volumes. You cannot remove a volume that is in use by a container.
For example uses of this command, refer to the examples section below.
Options¶
| Name, shorthand | Description |
|---|---|
--help | Show this message and exit. |