zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-12-25 22:18:14 +03:00
Code Issues Packages Projects Releases Wiki Activity

Install jq if it's missing

Browse Source
This commit is contained in:
Petros Amoiridis 2023-04-20 18:50:06 +03:00
parent 460ea8e16c
commit dcc804783c
No known key found for this signature in database
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
script/start-local-collaboration
View File

@ -17,6 +17,12 @@ MESSAGE
exit 1
fi
# Install jq if it's not installed
if ! command -v jq &> /dev/null; then
echo "Installing jq..."
brew install jq
fi
# Start one Zed instance as the current user and a second instance with a different user.
username_1=$(curl -sH "Authorization: bearer $GITHUB_TOKEN" https://api.github.com/user | jq -r .login)
username_2=nathansobo
@ -25,7 +31,6 @@ if [[ $username_1 == $username_2 ]]; then
fi
# Make each Zed instance take up half of the screen.
output=$(system_profiler SPDisplaysDataType -json)
resolution=$(echo "$output" | jq -r '.SPDisplaysDataType[0].spdisplays_ndrvs[] | select(.spdisplays_online == "spdisplays_yes") | ._spdisplays_resolution')
width=$(echo "$resolution" | jq -Rr 'split(" x ")[0]')