server

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