diff options
Diffstat (limited to 'utils.sh')
-rwxr-xr-x | utils.sh | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/utils.sh b/utils.sh new file mode 100755 index 0000000..880028c --- /dev/null +++ b/utils.sh @@ -0,0 +1,41 @@ +#!/bin/sh + +check_dest() +{ + if ! [ -d "$OT_PREFIX" ]; then + if ! mkdir -p "$OT_PREFIX"; then + echo "Could not create target directory '$OT_PREFIX'! Aborting..." + exit 1 + fi + fi +} + +run_cmd () +{ + local cmd="$1" + local title="$2" + + printf "%30s" "'$title'" + if ! eval $cmd >>$LOG 2>&1 ; then + printf "%50s\n" "FAIL" + echo "Last 10 lines of log:" + tail -10 "$LOG" + exit 1 + fi + printf "%50s\n" "DONE" + +} + +abs_path() +{ + local path="$1" + case "$path" in + /*) absolute=1 ;; + *) absolute=0 ;; + esac +} + +. "`pwd`/config.sh" +touch "$OT_UI_CONF" +. "$OT_UI_CONF" +check_dest |