Revision 6a6fdb21cbe59e84d205d62b7cdc50c9089890a4 authored by Jaeho Shin on 28 March 2016, 18:42:56 UTC, committed by Jaeho Shin on 28 March 2016, 18:42:56 UTC
except `# error`, etc.
1 parent b679de0
deepdive-db
#!/usr/bin/env bash
# deepdive-db -- Exposes lower level database operations provided by the driver
# > deepdive db OPERATION [ARG...]
#
# OPERATION can be one of the following:
# > deepdive db create-table-def
# > deepdive db create-table-as
# > deepdive db create-table-like
# > deepdive db create-view-as
# > deepdive db load
# > deepdive db unload
# > deepdive db execute
# > deepdive db query
# > deepdive db prompt
# > deepdive db analyze
# > deepdive db parse
# > deepdive db init
# > deepdive db assign_sequential_id
# > deepdive db generate_series
# > deepdive db create_calibration_view
##
set -eu
# parse database settings and load the driver
. load-db-driver.sh
[[ $# -gt 0 ]] || {
usage "$0" "Missing db COMMAND"
# TODO enumerate what commands are available dynamically, a la deepdive-help
}
Command=$1; shift
if type db-"$Command" &>/dev/null; then
exec db-"$Command" "$@"
else
usage "$0" "$Command: No such db operation"
fi
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...