From 61020dfd5990f84412171c4b422851a7393180d9 Mon Sep 17 00:00:00 2001
From: Philippe PITTOLI <karchnu@karchnu.fr>
Date: Mon, 20 May 2024 03:07:19 +0200
Subject: [PATCH] Removed useless stats.sh

---
 stats.sh | 39 ---------------------------------------
 1 file changed, 39 deletions(-)
 delete mode 100755 stats.sh

diff --git a/stats.sh b/stats.sh
deleted file mode 100755
index c41befa..0000000
--- a/stats.sh
+++ /dev/null
@@ -1,39 +0,0 @@
-#!/bin/sh
-
-if [ $# -ne 1 ]
-then
-	echo "usage: $0 result-directory"
-	exit 0
-fi
-
-dir="$1"
-
-for i in $dir/*
-do
-	Rscript ~/bin/summary.r $i > $i.r
-	rsum2line.awk $i.r > $i.raw
-done
-
-# List raw files with the number of iterations as a prefix so they can then be sorted.
-sort_raw_files() {
-	for i in $dir/*.raw
-	do
-		f $i
-	done | sort -n
-}
-
-f() {
-	echo $* | sed "s/[_./]/ /g" | xargs echo "$* " | awk '{ printf "%s %s/%s_%s %s\n", $4, $2, $3, $5, $1 }'
-}
-
-fill() {
-	while read LINE; do
-		nb_it=$(echo $LINE | awk '{ print $1 }')
-		target=$(echo $LINE | awk '{ print $2 }')
-		fname=$(echo $LINE | awk '{ print $3 }')
-
-		cat $fname | xargs echo "$nb_it " >> $target.final
-	done
-}
-
-sort_raw_files | fill