#!/bin/bash set -e if [[ -z "$GITHUB_TOKEN" ]]; then cat <<-MESSAGE Missing \`GITHUB_TOKEN\` environment variable. This token is needed for fetching your GitHub identity from the command-line. Create an access token here: https://github.com/settings/tokens Then edit your \`~/.zshrc\` (or other shell initialization script), adding a line like this: export GITHUB_TOKEN="(the token)" 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 if [[ $username_1 == $username_2 ]]; then username_2=as-cii fi # Make each Zed instance take up half of the screen. output=$(system_profiler SPDisplaysDataType -json) main_display=$(echo "$output" | jq '.SPDisplaysDataType[].spdisplays_ndrvs[] | select(.spdisplays_main == "spdisplays_yes")') resolution=$(echo "$main_display" | jq -r '._spdisplays_resolution') width=$(echo "$resolution" | jq -Rr 'match("(\\d+) x (\\d+)").captures[0].string') half_width=$(($width / 2)) height=$(echo "$resolution" | jq -Rr 'match("(\\d+) x (\\d+)").captures[1].string') y=0 position_1=0,${y} position_2=${half_width},${y} # Authenticate using the collab server's admin secret. export ZED_STATELESS=1 export ZED_ADMIN_API_TOKEN=secret export ZED_SERVER_URL=http://localhost:8080 export ZED_WINDOW_SIZE=${half_width},${height} cargo build sleep 0.5 # Start the two Zed child processes. Open the given paths with the first instance. trap "trap - SIGTERM && kill -- -$$" SIGINT SIGTERM EXIT ZED_IMPERSONATE=${username_1} ZED_WINDOW_POSITION=${position_1} target/debug/Zed $@ & ZED_IMPERSONATE=${username_2} ZED_WINDOW_POSITION=${position_2} target/debug/Zed & wait