dump_table

#!/bin/bash

if (( "$#" < 1 ))
then
  echo "Usage: $0 table_name"
  exit 1
fi

echo ".mode insert" > "db/$1.dat"
echo ".dump $1" | sqlite3 "$TE_DB_FILE" >> "db/$1.dat"