server

   1 #!/bin/bash
   2
   3 FOLDER="logs"
   4 FILE=$(date +%Y%m%d%H%M.log)
   5 LOGFILE=$FOLDER"/"$FILE
   6
   7 #BIN="/home/anoe/projets/gargantext-hs/.stack-work/docker/_home/.local/bin/gargantext-server"
   8 #BIN="~/.local/bin/gargantext-server"
   9
  10 mkdir -p $FOLDER
  11
  12 #env LANG=en_US.UTF-8 ~/.local/bin/gargantext-server --ini gargantext.ini --run Dev +RTS > $LOGFILE 2>&1 & tail -F $LOGFILE # -p
  13 env LANG=en_US.UTF-8 stack --docker exec gargantext-server -- --ini gargantext.ini --run Dev +RTS > $LOGFILE 2>&1 & tail -F $LOGFILE # -p