2019-10-22 16:38:01 +02:00
|
|
|
#! /usr/bin/env nix-shell
|
|
|
|
|
#! nix-shell -i fish -p fish feedgnuplot
|
|
|
|
|
|
2020-11-09 15:02:39 +01:00
|
|
|
set exe (fd --type f '^haga$' dist-newstyle/)
|
2019-10-22 16:38:01 +02:00
|
|
|
|
2020-11-09 15:02:39 +01:00
|
|
|
"$exe" $argv | \
|
2020-04-27 15:37:41 +02:00
|
|
|
# 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"
|
