# $Id$ # some common default functions die() { echo "ERROR: $@"; exit 1; } debug() { [[ ${INSTALLER_DEBUG} = 1 ]] && echo "DEBUG: $@"; }