void/scripts/code-server.sh
Andrew Pareles 3b901ad60f init
2025-02-28 18:01:53 -08:00

31 lines
588 B
Bash
Executable file

#!/usr/bin/env bash
if [[ "$OSTYPE" == "darwin"* ]]; then
realpath() { [[ $1 = /* ]] && echo "$1" || echo "$PWD/${1#./}"; }
ROOT=$(dirname $(dirname $(realpath "$0")))
else
ROOT=$(dirname $(dirname $(readlink -f $0)))
fi
function code() {
pushd $ROOT
# Get electron, compile, built-in extensions
if [[ -z "${VSCODE_SKIP_PRELAUNCH}" ]]; then
node build/lib/preLaunch.js
fi
NODE=$(node build/lib/node.js)
if [ ! -e $NODE ];then
# Load remote node
npm run gulp node
fi
popd
NODE_ENV=development \
VSCODE_DEV=1 \
$NODE $ROOT/scripts/code-server.js "$@"
}
code "$@"