#!/bin/bash
# Runs a MySQL command on the local MySQL server
selfDir="$(dirname -- "$0")"
. "$selfDir/vegbien_dest"
exec mysql --host="$host" --user="$user" --password="$password" "$@"