fix gitpod setup

jflamy · Oct 15, 2022 · e70b514 · e70b514
1 parent 7353b54
commit e70b514
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -27,5 +27,6 @@ hs_err_pid*
 database/owlcms.mv.db
 /.flattened-pom.xml
 /database/
-/cp.txt
-/logs/
+/cp.txt
+/logs/
+/node_modules/
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -22,6 +22,11 @@ tasks:
       cp -f /workspace/owlcms4/.gitpod/settings.xml /home/gitpod/.m2/settings.xml
       echo creating shared
       mvn -pl shared install
+    command: |
+      echo Copying settings
+      cp -f /workspace/owlcms4/.gitpod/settings.xml /home/gitpod/.m2/settings.xml
+      echo creating shared
+      mvn -pl shared install
 
 vscode:
   extensions: