comparison makebf.sh @ 19:7f712cc0d3d5 draft

Uploaded 20190304.2
author fabio
date Mon, 04 Mar 2019 08:31:28 -0500
parents
children
comparison
equal deleted inserted replaced
18:be864d79c9c7 19:7f712cc0d3d5
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