klee volume create
Create a new volume.
Usage
$ klee volume create [OPTIONS] VOLUME_NAME
Refer to the options section for an overview of available OPTIONS for this command.
Description
Create a new volume. If the volume name already exists nothing happens.
For example uses of this command, refer to the examples section below.
Options
| Name, shorthand | Default | Description |
--help |
Show this message and exit. |
Examples
Create a volume and then configure a container to use it:
$ klee volume create hello
hello
$ sudo touch /zroot/kleene/volumes/hello/world
$ klee run -m hello:/there FreeBSD ls /there
968414ee0599
created execution instance 7dbade0564df
world
executable 7dbade0564df and its container exited with exit-code 0
The mount is created inside the container’s /there directory.
Multiple containers can use the same volume in the same time period. This is useful if two containers need access to shared data. For example, if one container writes and the other reads the data.
Parent command
| Command | Description |
|---|---|
| klee volume | Manage volumes |