diff options
| author | Cyril Cohen | 2021-03-15 02:37:13 +0100 |
|---|---|---|
| committer | GitHub | 2021-03-15 02:37:13 +0100 |
| commit | 5bc1b23fff6bbffb0e0885f3e11481c5e8ee762b (patch) | |
| tree | 8e7807356032b9e88aafb4725e5cc5d408038ebc /.gitpod.yml | |
| parent | deb0e19892674652b430b3cb89259bb5afc089b8 (diff) | |
| parent | 25695dba0365a252cb142d5ba9079bd59f3ccad2 (diff) | |
Merge pull request #723 from CohenCyril/gitpod
fixup gitpod config
Diffstat (limited to '.gitpod.yml')
| -rw-r--r-- | .gitpod.yml | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/.gitpod.yml b/.gitpod.yml index 473628c..c4141f8 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -1,14 +1,18 @@ # The Docker image to run your workspace in. Defaults to gitpod/workspace-full -image: .gitpod.dockerfile +image: + file: .gitpod.Dockerfile + # Command to start on workspace startup (optional) tasks: - - init: sh <(curl -L https://nixos.org/nix/install) --no-daemon && direnv allow && de-preload - - command: sudo docker-up + - before: nix-shell ports: - port: 8000 onOpen: open-preview vscode: - extensions: # from https://open-vsx.org/ + 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== |