Skip to content

Add configurable Incus profiles

Joshua Balthasar Kobschätzki requested to merge cobalt.rocks/incus-profiles into main

Adds the option to explicitly specify a set of profiles to apply to an instance, instead of always using the default incus profile for Isabelle server instances.

The merge/ rebase makes the command history a bit bodged. Will be squashed.

Merge request reports