vscode / start_server.sh
justest's picture
Update start_server.sh
4733810
#!/bin/bash
NGX_NAME="${NGX_NAME:-admin}"
NGX_PASS="${NGX_PASS:-admin}"
CRYPTPASS=`openssl passwd -apr1 ${NGX_PASS}`
PORT="${PORT:-8080}"
echo "USERNAME:" $NGX_NAME
echo "PASSWORD:" $NGX_PASS
echo "${NGX_NAME}:${CRYPTPASS}" > ngpasswd
COMMIT=$(cat /app/openvscode-server/product.json | awk '/commit/{print $4;exit}' FS='[""]')
sed -i "s/#COMMIT#/$COMMIT/" nginx.conf
sed -i "s/#PORT#/$PORT/" nginx.conf
nginx -c $PWD/nginx.conf
set +e
if [[ ! -z "$REPO" ]]; then
dir=$(basename "$REPO" .git)
echo start to clone initial repo $REPO into $dir
git clone --progress $REPO $dir
cd $dir
git config --global user.name "$(git log -1 --pretty=format:'%an')"
git config --global user.email "$(git log -1 --pretty=format:'%ae')"
cd ..
else
git config --global user.name "$SPACE_AUTHOR_NAME"
git config --global user.email "$SPACE_AUTHOR_NAME@hf.co"
fi
git config --global http.postBuffer 524288000
echo "Starting VSCode Server..."
vscode=/app/openvscode-server/bin/openvscode-server
vscode_cli=/app/openvscode-server/bin/remote-cli/openvscode-server
$vscode --install-extension ms-toolsai.jupyter
$vscode --install-extension ms-python.python
ln -s $vscode_cli $(dirname $vscode_cli)/code
set -e
exec $vscode --host 0.0.0.0 --port 5050 --without-connection-token \"${@}\" --