# $Id$ # some common default functions die() { echo "ERROR: $@"; exit 1; } debug() { [[ ${INSTALLER_DEBUG} = 1 ]] && echo "DEBUG: $@"; } # trims whitespaces from variables # bash do it itself automatically if the var is not escaped with ' or " trim() { echo $1; }