Update .gitpod.yml

marcelauliano · Sep 14, 2023 · e872b6c · e872b6c
1 parent 06e7d8d
commit e872b6c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -3,6 +3,10 @@ tasks:
 - name: git clone
   command: |
     unset JAVA_TOOL_OPTIONS
+    cd /workspace
+    curl ftp://ftp.ed.ac.uk/edupload/lecture.tgz | tar xzf -
 vscode:
   extensions:
     - anwar.papyrus-pdf
+
+workspaceLocation: "/workspace"