rplot: add support for gziped datasets

2021-03-30 16:35:47 +02:00 · 2021-03-30 16:35:47 +02:00 · b7dcf7bc69
commit b7dcf7bc69
parent 5ac581b573
1 changed files with 9 additions and 2 deletions
--- a/garlic/pp/rplot.nix
+++ b/garlic/pp/rplot.nix
@ -31,9 +31,16 @@ in stdenv.mkDerivation {
    export FONTCONFIG_PATH=${fontconfig.out}/etc/fonts
    mkdir -p $out
    cd $out
-    ln -s ${dataset} input
+    dataset="${dataset}"
+
+    ln -s $dataset input
    Rscript --vanilla ${script} ${dataset}
-    jq -c .total_time input |\
+
+    if [ "''${dataset##*.}" == gz ]; then
+      gunzip --stdout $dataset
+    else
+      cat $dataset
+    fi | jq -c .total_time |\
      awk '{s+=$1} END {printf "%f\n", s/60}' > total_job_time_minutes
  '';
 }