Setup basic project structure

.coder/01-get-redo.sh

+REDO_VERSION=0.2.1 bash utils/get-redo.sh \
+  && python3 -m pip install --user pipx \
+  && python3 -m pipx ensurepath

.coder/02-install-extensions.sh

+code-server --install-extension ckolkman.vscode-postgres
\ No newline at end of file

.coder/utils/angproj.newest.do

+redo-always
+DATABASES_DIR=$(realpath "$(pwd)/../../dbs")
+mkdir -p $DATABASES_DIR
+cd $DATABASES_DIR
+if cd angproj 2> /dev/null
+  then git pull >&2
+  else git clone https://gitlab.ost.ch/db/angproj.git
+fi

.coder/utils/checker.install.do

+CHECKER_GITLAB_PROJECT_ID=3718  # ID of https://gitlab.ost.ch/db/dbs1/submission-checker
+pipx install --force --pip-args='--no-input' --index-url "https://gitlab.ost.ch/api/v4/projects/${CHECKER_GITLAB_PROJECT_ID}/packages/pypi/simple" 'dbs1-submission-checker ~= 0.1.0' >&2

.coder/utils/get-redo.sh

+#/usr/bin/env bash
+set -euxo pipefail
+
+REDO_VERSION="v${REDO_VERSION}"
+REDO_PACKAGE="redo_${REDO_VERSION}_linux_x86-64"
+wget "https://github.com/zombiezen/redo-rs/releases/download/${REDO_VERSION}/${REDO_PACKAGE}.zip"
+unzip "${REDO_PACKAGE}.zip"
+mv "${REDO_PACKAGE}"/bin/* ~/.local/bin/
+rm "${REDO_PACKAGE}"{/,.zip} -r