annotate makebf.sh @ 19:7f712cc0d3d5 draft

Uploaded 20190304.2
author fabio
date Mon, 04 Mar 2019 08:31:28 -0500
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
19
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
1 #!/bin/bash
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
2
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
3 expPath=$1
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
4 expName=$2
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
5 expFormat=$3
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
6 expCompress=$4
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
7
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
8 outExpDir=$5
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
9
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
10 klen=$6
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
11 minab=$7
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
12 bfsize=$8
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
13
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
14 rmCompressed=$9
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
15 rmSource=${10}
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
16
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
17 cd ${outExpDir}
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
18
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
19 if [ "${expCompress}" == ".gz" ]; then
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
20 gzip -dc ${expPath} > ${expName}${expFormat}
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
21 howdesbt makebf K=${klen} --min=${minab} --bits=${bfsize} ${expName}${expFormat} --out=${expName}.bf
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
22 if [ "${rmCompressed}" -eq "1" ]; then
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
23 rm ${expPath}
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
24 fi
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
25 if [ "${rmSource}" -eq "1" ]; then
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
26 rm ${expName}${expFormat}
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
27 fi
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
28 else
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
29 howdesbt makebf K=${klen} --min=${minab} --bits=${bfsize} ${expPath} --out=${expName}.bf
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
30 if [ "${rmSource}" -eq "1" ]; then
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
31 rm ${expPath}
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
32 fi
7f712cc0d3d5 Uploaded 20190304.2
fabio
parents:
diff changeset
33 fi