# setup 

#install extensions
for FILE in ls /exts/*
do
    /usr/local/bin/code-server --install-extension $FILE
done


# pull useful projects
cd /config/workspace

git clone https://git.quodatum.duckdns.org/apb/vscode-basex.git
git clone https://git.quodatum.duckdns.org/apb/thedocks
git clone https://github.com/Quodatum/xqlint.git