blob: c4141f81913058fd86c7e45a7fbd30351f2d2160 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# 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==
- maximedenes.vscoq@0.3.2:nH2SKs3TvzC87hvAzEEpyg==
- gares.coq-elpi-lang@0.0.4:fd+apIChnUwoQhvWFW33KA==
- gares.elpi-lang@0.1.1:Hq2+Ku1u3oO5KPtLqtFsIA==
|
