§ How-to
How-to
Task-shaped pages for a reader who knows the basics. Each page shows how to do one thing and stops there.
On this page
How-to pages are for when you know the basics and need to do one thing: share state, run a pipeline, publish a module. Each shows the task and stops there. It does not teach the ideas behind the steps; the last column links to the lesson or the concept page that does. New to pravo? Learn teaches it in order.
What do you want to do?
| I want to | Guide | Background |
|---|---|---|
| Install pravo and run a first plan, a change, a conflict and a destroy | Quick start | Learn |
| Run one specification for dev, staging and prod | Environments | B4, Inputs, tags, environments |
| Keep the state in a bucket that a team shares | Remote state | State |
| Share CUE between roots in one repository | Modules in a repository | B6, Modules, providers, credentials |
| Publish a module, or use one that someone else published | Publishing a module, Using a module | B6, Modules, providers, credentials |
| Use a provider from a registry other than the default | Providers from a registry | Providers |
| Run pravo in a pipeline | CI | Exit codes |
| Refuse plans that break a rule | Policies | B10, Policy on providers and on plans |
| Let an agent plan and apply | Agents and MCP | pravo mcp |
| Handle secrets and credentials | Secrets | Secrets and ephemeral values |
| Rename a resource, move it, or adopt an existing object | Importing and moving | B8, Renames, moves, imports |
| Find out why an evaluation or a plan fails | Debugging | Reading a CUE error |
| Upgrade pravo or a provider | Upgrading | Compatibility |
Looking for something else
- A message you do not recognise: the error catalogue lists symptom, cause and fix.
- A project that runs on OpenTofu or Terraform today: Migrate.
- How pravo behaves, with diagrams: Concepts.
- One command or one specification topic: Reference.
- CUE from the beginning: Learn.