zed/script/install-linux

#!/usr/bin/env bash

set -euxo pipefail

if [[ $# -gt 0 ]]; then
  echo "
  Usage: ${0##*/}
  Builds and installs zed onto your system into ~/.local, making it available as ~/.local/bin/zed.

  Before running this you should ensure you have all the build dependencies installed with `./script/linux`.
  "
  exit 1
fi
export ZED_CHANNEL=$(<crates/zed/RELEASE_CHANNEL)
export ZED_UPDATE_EXPLANATION="You need to fetch and rebuild zed in $(pwd)"
script/bundle-linux

target="linux-$(uname -m)"
commit=$(git rev-parse HEAD | cut -c 1-7)
if  [[ "$ZED_CHANNEL" == "dev" ]]; then
  archive="zed-${commit}-${target}.tar.gz"
else
  archive="zed-${target}.tar.gz"
fi
export ZED_BUNDLE_PATH="${CARGO_TARGET_DIR:-target}/release/${archive}"
script/install.sh