Hans/haga
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update run script

Browse Source
This commit is contained in:
David Pätzel 2020-04-27 15:37:41 +02:00
parent 7a48c1278f
commit 1abcdaa454
1 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
run
View File

@ -2,4 +2,16 @@
#! nix-shell -i fish -p fish feedgnuplot #! nix-shell -i fish -p fish feedgnuplot
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" 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"