From 25695dba0365a252cb142d5ba9079bd59f3ccad2 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Sun, 14 Mar 2021 22:31:40 +0100
Subject: fixup gitpod config

---
 .gitpod.yml | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

(limited to '.gitpod.yml')

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==
-- 
cgit v1.2.3