run-remote

#!/usr/bin/env bash


# ssh c3 'cd haga; nix develop --command cabal run exe:haga -- -i 10000 +RTS -N 2> /dev/null' | grep -v '^Up to date' --line-buffered | \
ssh c3 'cd haga; nix develop --command cabal run exe:haga -- -i 10000' | grep -v '^Up to date' --line-buffered | \
    # dist-newstyle/build/x86_64-linux/ghc-8.6.5/ga-0.1.0.0/x/ga/build/ga/ga $argv | \
    feedgnuplot \
    --terminal "x11 background '#ffffff'" \
    --domain \
    --stream \
    --lines \
    --xmax 12000 \
    --xmin 0 \
    --xlabel "step" \
    --ylabel "cost" \
    --extracmd "set style line 5 lt rgb 'red' lw 2 pt 6" \
    --style 0 "ls 5"