view makebf.sh @ 19:7f712cc0d3d5 draft

Uploaded 20190304.2
author fabio
date Mon, 04 Mar 2019 08:31:28 -0500
parents
children
line wrap: on
line source

#!/bin/bash

expPath=$1
expName=$2
expFormat=$3
expCompress=$4

outExpDir=$5

klen=$6
minab=$7
bfsize=$8

rmCompressed=$9
rmSource=${10}

cd ${outExpDir}

if [ "${expCompress}" == ".gz" ]; then
    gzip -dc ${expPath} > ${expName}${expFormat}
    howdesbt makebf K=${klen} --min=${minab} --bits=${bfsize} ${expName}${expFormat} --out=${expName}.bf
    if [ "${rmCompressed}" -eq "1" ]; then
        rm ${expPath}
    fi
    if [ "${rmSource}" -eq "1" ]; then
        rm ${expName}${expFormat}
    fi
else
    howdesbt makebf K=${klen} --min=${minab} --bits=${bfsize} ${expPath} --out=${expName}.bf
    if [ "${rmSource}" -eq "1" ]; then
        rm ${expPath}
    fi
fi