1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
#! /bin/bash function init_db { db=$1 monetdb stop $db monetdb destroy -f $db monetdb create $db #monetdb set nthreads=1 $db monetdb set embedpy=yes $db monetdb release $db monetdb start $db } init_db $1