path: root/etc/utils/setup_gitpod.sh

#!/usr/bin/env bash

mkdir -p .theia
echo "{ \"coqtop.binPath\": \"$COQBIN\" }" > .theia/settings.json