From 1abcdaa454efe5e84e74e53d961d56fbb77cd62c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20P=C3=A4tzel?= Date: Mon, 27 Apr 2020 15:37:41 +0200 Subject: [PATCH] Update run script --- run | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/run b/run index d6dd919..ad913ec 100755 --- a/run +++ b/run @@ -2,4 +2,16 @@ #! 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"