server 202 Bytes EditWeb IDE 1 2 3 4 5 6 7 8 9 10 #!/bin/bash FOLDER="logs" FILE=$(date +%Y%m%d%H%M.log) LOGFILE=$FOLDER"/"$FILE mkdir -p $FOLDER ~/.cabal/bin/gargantext-server --ini gargantext.ini --run Dev +RTS > $LOGFILE 2>&1 & tail -F $LOGFILE