corrected tuning.sh patch

[David Relson]

pi,

I forgot to include 'sed' when I modified tuning.sh


--- /home/relson/bogofilter/cvs/tuning/tuning.sh	2003-06-05 
09:00:53.000000000 -0400
+++ tuning.sh	2003-06-05 11:27:07.000000000 -0400
@@ -125,6 +125,6 @@
  # get 10 best results (lowest false negative count)
  (echo "" ; \
  echo "Top 10 results" ; \
-grep fpos < $RESULTS | sort +14n | head -10 ) | tee -a $RESULTS
+grep fpos < $RESULTS | sed "s@\.\.\. at .. @g" | sort -g --key=15 | head -10 
) | tee -a $RESULTS

  date "+%m/%d %H:%M:%S"


The difference between "run1...123" and "run2... 22" was confusing sort, 
which uses blanks as column separators.  Adding "sed" ensures there's a 
space before the number.