29 |
#MACHINES=$MALL |
#MACHINES=$MALL |
30 |
#-- as done in "make_summary" (front_content/) and "check_outp" (scripts/): |
#-- as done in "make_summary" (front_content/) and "check_outp" (scripts/): |
31 |
MALL=`cat ./dir_all | sed -e 's|_| |g' | awk '{print $2}' | sort | uniq` |
MALL=`cat ./dir_all | sed -e 's|_| |g' | awk '{print $2}' | sort | uniq` |
32 |
MACHINES="villon batsi engaging1 engaging- svante" |
MACHINES="villon batsi engaging1 engaging- svante glacier" |
33 |
MACHINES="$MACHINES glacier ollie pleiades" |
MACHINES="$MACHINES ollie albedo pleiades archer" |
34 |
for madd in $MALL ; do |
for madd in $MALL ; do |
35 |
present=0 |
present=0 |
36 |
for m in $MACHINES ; do |
for m in $MACHINES ; do |