§ Reference · Commands
pravo version
Print the version of pravo and the version of CUE that is built into it.
On this page
Quick reference
| Synopsis | pravo version |
| Flags | None. The global flags are accepted, and --json has no effect: the output is always text. |
| Exit code | 0 |
| Taught in | Quick start. |
Output
$pravo version
pravo 0.1.0-dev
cue v0.17.1| Line | Meaning |
|---|---|
pravo X |
The version of pravo. |
cue vX |
The version of CUE that is built into the binary. |
The footer of each page of this site names the same two versions. Compatibility lists what each version works with.
The CUE version and policies
CUE evaluates the specification, and it evaluates every plan policy. A policy behaves as the second line says, so test a policy with a cue binary of that version. With a Go toolchain, go install installs it:
go install cuelang.org/go/cmd/cue@v0.17.1
Use the version that pravo version prints. Save a plan as JSON and check the policy against it:
pravo plan --json > fixture.json
cue vet -c policy/keep.cue fixture.json
cue vet -c reports a conflict at the same path that pravo plan --policy reports, and exits with a non-zero code. The plan document is not masked, so scrub a fixture before you commit it. See Policies.
See also
- Quick start builds the binary.
pravo initshows which provider versions a root resolves.