docker-prod 86 Bytes EditWeb IDE 1 2 3 #!/bin/bash stack --docker exec gargantext-server -- --run Prod --ini gargantext.ini