You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
feat(pi-enclave): support custom gondolin image tags (#39)
Adds an `image` config option that lets pi-enclave boot a custom Gondolin image (tag or asset path), and removes the hardcoded default package list so `packages` can be empty.
Closes#38
Use a [custom Gondolin image](https://earendil-works.github.io/gondolin/custom-images/) when you need a different base environment or a larger root filesystem.
85
+
Build and tag the image separately, then reference it here:
86
+
87
+
```toml
88
+
image = "pi-enclave-large:latest"
89
+
```
90
+
82
91
### Env vars
83
92
84
93
Non-secret values available in the VM and setup scripts. Three source types:
@@ -154,7 +163,7 @@ mounts = [
154
163
155
164
### Config layering
156
165
157
-
Two locations: global (`~/.pi/agent/extensions/pi-enclave.toml` + drop-ins) and project (`.pi/enclave.toml`). Project overrides global. Packages accumulate across all layers; secrets, hosts, and env merge by key (later wins).
166
+
Two locations: global (`~/.pi/agent/extensions/pi-enclave.toml` + drop-ins) and project (`.pi/enclave.toml`). Project overrides global. `image` uses the last configured value. Packages accumulate across all layers; secrets, hosts, and env merge by key (later wins).
158
167
159
168
```toml
160
169
# .pi/enclave.toml — allow all GitHub operations in this project
0 commit comments