#!/bin/bash
set -e

# Clone the repository
echo "Cloning repository..."
git clone https://github.com/pingcap-inc/tidb-course-labs
# Setup the lab environment
cp -R tidb-course-labs/labs/demo_405a/* ~ubuntu/
rm -rf tidb-course-labs
./setup.sh

echo "TIDB_HOST=${SERVERLESS_CLUSTER_HOST}" > .env
echo "TIDB_PORT=${SERVERLESS_CLUSTER_PORT}" >> .env
echo "TIDB_USER='${SERVERLESS_CLUSTER_USERNAME}'" >> .env
echo "TIDB_PASSWORD='${SERVERLESS_CLUSTER_PASSWORD}'" >> .env
echo "TIDB_DB_NAME=${SERVERLESS_CLUSTER_DATABASE_NAME}" >> .env