Add --sync to gitpod and dev docs

Otherwise, `./tea` fails with error: pantry not found: /home/gitpod/.tea/tea.xyz/var/pantry/projects
pkgxdev · Jul 27, 2023 · 72c5dc1 · 72c5dc1
1 parent b632f34
commit 72c5dc1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -15,5 +15,6 @@ tasks:
       (
         set -e
         .deno/bin/deno task compile
+        ./tea --sync
         echo "./tea is hot"
       )
diff --git a/README.md b/README.md
@@ -312,7 +312,8 @@ deno task run foo
 $ deno task install
 # ^^ deploys the local checkout into your `~/.tea`
 
-$ deno task compile && ./tea
+$ deno task compile && ./tea --sync
+# compile and run tea to sync package definitions
 ```