2015-07-02 14:04:14 +02:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2015-08-04 23:58:43 +02:00
|
|
|
OPT_FILE="/tmp/.tamarin_opts"
|
|
|
|
|
2015-07-02 14:04:14 +02:00
|
|
|
function info {
|
|
|
|
echo "[${HOSTNAME}] [INFO] $@"
|
|
|
|
}
|
|
|
|
|
|
|
|
function debug {
|
|
|
|
echo "[${HOSTNAME}] [DEBUG] $@"
|
|
|
|
}
|
|
|
|
|
|
|
|
function error {
|
2015-07-13 09:02:17 +02:00
|
|
|
echo "[${HOSTNAME}] [ERROR] $@" >&2
|
2015-07-02 14:04:14 +02:00
|
|
|
}
|
|
|
|
|
2015-07-04 18:45:36 +02:00
|
|
|
function fatal {
|
2015-07-13 09:02:17 +02:00
|
|
|
echo "[${HOSTNAME}] [FATAL] $@" >&2
|
2015-07-02 14:04:14 +02:00
|
|
|
exit 1
|
|
|
|
}
|
2015-08-04 23:58:43 +02:00
|
|
|
|
|
|
|
function get_opt {
|
|
|
|
opt_name=${1}
|
|
|
|
default_value=${2}
|
|
|
|
touch "${OPT_FILE}"
|
|
|
|
source "${OPT_FILE}"
|
|
|
|
echo ${!opt_name:-${default_value}}
|
|
|
|
}
|
|
|
|
|
|
|
|
function set_opt {
|
|
|
|
opt_name=${1}
|
|
|
|
opt_value=${2}
|
|
|
|
touch "${OPT_FILE}"
|
|
|
|
sed -i "s/^${opt_name}*$//" "${OPT_FILE}"
|
|
|
|
echo "${opt_name}=\"${opt_value}\"" >> "${OPT_FILE}"
|
|
|
|
}
|