From 72c5dc1e517b669a3036bea831c4234fa556f5f7 Mon Sep 17 00:00:00 2001
From: Anatoli Babenia <anatoli@rainforce.org>
Date: Thu, 27 Jul 2023 13:58:22 +0300
Subject: [PATCH] Add `--sync` to gitpod and dev docs

Otherwise, `./tea` fails with
error: pantry not found: /home/gitpod/.tea/tea.xyz/var/pantry/projects
---
 .gitpod.yml | 1 +
 README.md   | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/.gitpod.yml b/.gitpod.yml
index 227955b3..1b2417a2 100644
--- 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
index b4ea2d96..8a493797 100644
--- 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
 ```