4 echo recently modified files:
5 LATEST_FILE=`ls out/* -td -1 | grep -v log | head -n1`
7 grep replay > /dev/null || (
11 ls out/* -tdo -1 | grep replay
13 LATEST_FILE=`ls out/* -td -1 | grep replay | head -n1`
14 echo LATEST_FILE $LATEST_FILE
16 grep replay > /dev/null && (
17 if [ -e $LATEST_FILE/last_crash_sec ]
19 ls $LATEST_FILE/*re -lotd | head
20 SEC=`cat $LATEST_FILE/last_crash_sec`
21 echo $SEC $(($NOW_SEC-$SEC))
22 ls -l $LATEST_FILE/$SEC.KEYCODEpure
23 echo `cat $LATEST_FILE/$SEC.KEYCODEpure | sed s/KK:\//g`
24 cat $LATEST_FILE/$SEC.GDB | grep "signal SIG" -A 15
26 ls $LATEST_FILE -lot | head
27 cat `echo $LATEST_FILE | sed s/KEYCODEpure.replay/GDB/` | grep "signal SIG" -A 9
29 cat $LATEST_FILE/log | grep Bore | tail -n2
40 x-session" out/log | grep -v kill | grep -v Terminated | tail -n 9
42 echo autolyx crashes ---------
43 grep autolyx: out/log | grep -v kill | grep -v Terminated #-A 5
44 echo python crashes ---------
45 grep -i Trace out/log -A 5
47 grep reproduced out/log | tail -n5