2019-10-22 16:38:01 +02:00
|
|
|
#! /usr/bin/env nix-shell
|
|
|
|
|
#! nix-shell -i fish -p fish feedgnuplot
|
|
|
|
|
|
|
|
|
|
|
2020-04-27 15:37:41 +02:00
|
|
|
dist-newstyle/build/x86_64-linux/ghc-8.8.3/haga-0.1.0.0/x/haga/build/haga/haga $argv | \
|
|
|
|
|
# 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"
|
