Skip to content

Commit 25a0204

Browse files
committed
Update README.md
1 parent 2dc912c commit 25a0204

File tree

2 files changed

+6
-2
lines changed

2 files changed

+6
-2
lines changed

.idea/misc.xml

+2-2
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

components/ide/jetbrains/toolbox/README.md

+4
Original file line numberDiff line numberDiff line change
@@ -29,12 +29,16 @@ echo "Watching for changes in $DEVCONTAINER_HOST:$REMOTE_DIR"
2929
ssh $DEVCONTAINER_HOST "inotifywait -m -r -e modify,create,delete,move $REMOTE_DIR" | \
3030
while read path action file; do
3131
echo "[$(date '+%Y-%m-%d %H:%M:%S')] Change detected: $action $file"
32+
# Make sure remote is build
33+
sleep 3
3234
rsync -avz --delete "$DEVCONTAINER_HOST:$REMOTE_DIR/" "$LOCAL_DIR/"
3335

3436
echo "[$(date '+%Y-%m-%d %H:%M:%S')] Change synced"
3537
pkill -f 'JetBrains Toolbox' || true
3638
echo debugClean > $HOME/Library/Logs/JetBrains/Toolbox/toolbox.log
3739
code $HOME/Library/Logs/JetBrains/Toolbox/toolbox.log
40+
# In case Toolbox refuses to start
41+
sleep 3
3842
open /Applications/JetBrains\ Toolbox.app
3943
done
4044
```

0 commit comments

Comments
 (0)