Differences

This shows you the differences between two versions of the page.

--- people:mmazur [2007-05-11 20:00]
mmazur builder stats generation
+++ people:mmazur [2008-08-02 13:28]
grizz CategoryHompage added
@@ Line 1: / Line 1: @@
-====== Builder stats generation ======
-(So I don't loose it)
-  * <file>egrep '^To:|^Date:|^Build-Time:|X-PLD-Builder:' archive |uniq>~/th
-egrep '^To:|^Date:|^Build-Time:|X-PLD-Builder:' -r . |uniq|cut -d: -f 2-10>>~/th
-sed -e 's/^2,S://' -i th
-echo 'builders={}'>th.py;
-cat th|grep '^X-PLD-Builder:'|sort|uniq|sed -e 's,^X-PLD-Builder: \(.*\)$,builders["\1"]=[],' >>th.py;
-cat th| sed -e 's,^To: \(.*\)$,)]\nsender="\1",' | sed -e 's,^X-PLD-Builder: \(.*\)$,builders["\1"]+=[ ( sender\, \\,'| sed -e 's,^Date: \(.*\) .....$,"\1"\, 0.0 \\,'| sed -e 's,^Build-Time:.*real:\([^s]*\)s.*$,+\1 \\,' >>th.py;
-echo ')]'>>th.py;
-import time
-for bname in builders:
-        builds=builders[bname]
-        for build in builds:
-                t=time.strptime(build[1], "%a, %d %b %Y %H:%M:%S")
-                t=time.strftime("%Y-%m-%d %H:%M:%S", t)
-                print "INSERT INTO builds VALUES ('%s', '%s', '%s', %f);" % (bname, build[0], t, build[2])
-echo 'CREATE TABLE builds (builder varchar(16), sender varchar(64), start datetime, duration float);'>th.sql;
-python th.py |sort|uniq >> th.sql
-</file>

PLD Linux Distribution