# 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 run gargantext-server -- --run Prod --toml gargantext-settings.toml"