Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Start-local-collaboration script: put peers' windows at different positions

Browse source
This commit is contained in:
Max Brunsfeld 2022-11-30 09:29:49 -08:00
parent 6120d6488b
commit a48cd9125b
2 changed files with 33 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

10
script/start-local-collaboration
View file

@ -26,8 +26,14 @@ fi
export ZED_ADMIN_API_TOKEN=secret
export ZED_SERVER_URL=http://localhost:8080
export ZED_WINDOW_SIZE=800,600
cargo build
sleep 0.1
trap "trap - SIGTERM && kill -- -$$" SIGINT SIGTERM EXIT
ZED_IMPERSONATE=${github_login} cargo run --quiet $@ &
ZED_IMPERSONATE=${other_github_login} cargo run --quiet &
ZED_WINDOW_POSITION=0,0 ZED_IMPERSONATE=${github_login} target/debug/Zed $@ &
sleep 0.1
ZED_WINDOW_POSITION=800,0 ZED_IMPERSONATE=${other_github_login} target/debug/Zed &
sleep 0.1
wait