# The following line is more portable than just /bin/bash:
#!/usr/bin/env bash

# A couple hygienic options
set -e -u

echo "Launching Gargantext..."
nix-shell --run "cabal v2-run gargantext -- server start-all --mode Prod --settings-path gargantext-settings.toml"