diff --git a/.gitpod.yml b/.gitpod.yml
index c0cac26eda069..7b6772e69ce87 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -6,5 +6,5 @@ vscode:
     - jroesch.lean
 
 tasks:
-  - init: leanpkg config && leanproject get-cache --fallback=download-all
+  - init: leanpkg configure && leanproject get-cache --fallback=download-all
     command: . /home/gitpod/.profile