Update README.md

gitpod-io · Jan 10, 2025 · 25a0204 · 25a0204
1 parent 2dc912c
commit 25a0204
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/.idea/misc.xml b/.idea/misc.xml
diff --git a/components/ide/jetbrains/toolbox/README.md b/components/ide/jetbrains/toolbox/README.md
@@ -29,12 +29,16 @@ echo "Watching for changes in $DEVCONTAINER_HOST:$REMOTE_DIR"
 ssh $DEVCONTAINER_HOST "inotifywait -m -r -e modify,create,delete,move $REMOTE_DIR" | \
 while read path action file; do
     echo "[$(date '+%Y-%m-%d %H:%M:%S')] Change detected: $action $file"
+    # Make sure remote is build
+    sleep 3
     rsync -avz --delete "$DEVCONTAINER_HOST:$REMOTE_DIR/" "$LOCAL_DIR/"
 
     echo "[$(date '+%Y-%m-%d %H:%M:%S')] Change synced"
     pkill -f 'JetBrains Toolbox' || true
     echo debugClean > $HOME/Library/Logs/JetBrains/Toolbox/toolbox.log
     code $HOME/Library/Logs/JetBrains/Toolbox/toolbox.log
+    # In case Toolbox refuses to start
+    sleep 3
     open /Applications/JetBrains\ Toolbox.app
 done
 ```