过滤十一点到十二点的程序日志，包括以空行开头的日志

#!/bin/bash
for i in {1..5}
do
   echo workspace${i} >> /opt/server.log
   TAIL=$(grep -n '^\[11' /data/serverlogs/workspace$i/warn/warn | awk -F: '{print $1}' | tail -1)
   HEAD=$(grep -n '^\[11' /data/serverlogs/workspace$i/warn/warn | awk -F: '{print $1}' | head -1)
   COUNT=`expr $TAIL - $HEAD`
   head -${TAIL} /data/serverlogs/workspace$i/warn/warn | tail -$COUNT >> /opt/server.log
   echo >> /opt/server.log
done