server 72 Bytes EditWeb IDE 1 ~/.local/bin/gargantext-server --ini gargantext.ini --run Dev +RTS # -p