|
19
|
1 #!/bin/bash
|
|
|
2
|
|
|
3 expPath=$1
|
|
|
4 expName=$2
|
|
|
5 expFormat=$3
|
|
|
6 expCompress=$4
|
|
|
7
|
|
|
8 outExpDir=$5
|
|
|
9
|
|
|
10 klen=$6
|
|
|
11 minab=$7
|
|
|
12 bfsize=$8
|
|
|
13
|
|
|
14 rmCompressed=$9
|
|
|
15 rmSource=${10}
|
|
|
16
|
|
|
17 cd ${outExpDir}
|
|
|
18
|
|
|
19 if [ "${expCompress}" == ".gz" ]; then
|
|
|
20 gzip -dc ${expPath} > ${expName}${expFormat}
|
|
|
21 howdesbt makebf K=${klen} --min=${minab} --bits=${bfsize} ${expName}${expFormat} --out=${expName}.bf
|
|
|
22 if [ "${rmCompressed}" -eq "1" ]; then
|
|
|
23 rm ${expPath}
|
|
|
24 fi
|
|
|
25 if [ "${rmSource}" -eq "1" ]; then
|
|
|
26 rm ${expName}${expFormat}
|
|
|
27 fi
|
|
|
28 else
|
|
|
29 howdesbt makebf K=${klen} --min=${minab} --bits=${bfsize} ${expPath} --out=${expName}.bf
|
|
|
30 if [ "${rmSource}" -eq "1" ]; then
|
|
|
31 rm ${expPath}
|
|
|
32 fi
|
|
|
33 fi
|
