blob: 59499ad100e40f35a2806fdb2281bf691aca3431 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
---
# The Docker image to run your workspace in. Defaults to gitpod/workspace-full
image:
file: .gitpod.Dockerfile
# Command to start on workspace startup (optional)
tasks:
- before: nix-shell
ports:
- port: 8000
onOpen: open-preview
vscode:
extensions:
- bbenoist.Nix@1.0.1:TbrU16w37jLfkqA6h20vuQ==
- gares.coq-elpi-lang@0.0.4:fd+apIChnUwoQhvWFW33KA==
- gares.elpi-lang@0.1.1:Hq2+Ku1u3oO5KPtLqtFsIA==
- maximedenes.vscoq@0.3.3:/adqFu9kP5hzZZO35NPV8g==
|
