#!/bin/bash

PREFIX_DIR=$(dirname ${BASH_SOURCE})

# Make PREDIX_DIR absolute
if [[ $(uname) == 'Linux' ]]; then
  PREFIX_DIR=$(readlink -f ${PREFIX_DIR})
else
  pushd ${PREFIX_DIR}
  PREFIX_DIR=$(pwd -P)
  popd
fi

# Go one level up
PREFIX_DIR=$(dirname ${PREFIX_DIR})

EXTENSIONS_DIR_ARG="--extensions-dir"
EXTENSIONS_DIR_VAL="${PREFIX_DIR}/share/code-server/extensions"
if [[ "$*" != *"${EXTENSIONS_DIR_ARG}"* ]]; then
    set -- "$*" "${EXTENSIONS_DIR_ARG} ${EXTENSIONS_DIR_VAL}"
fi

node ${PREFIX_DIR}/share/code-server/out/node/entry.js $*
