diff options
-rwxr-xr-x | kerl | 14 |
1 files changed, 9 insertions, 5 deletions
@@ -26,11 +26,13 @@ GREP_OPTIONS='' ERLANG_DOWNLOAD_URL=http://www.erlang.org/download -KERL_BASE_DIR="$HOME"/.kerl -KERL_CONFIG="$HOME"/.kerlrc -KERL_DOWNLOAD_DIR="${KERL_BASE_DIR:?}"/archives -KERL_BUILD_DIR="${KERL_BASE_DIR:?}"/builds -KERL_GIT_DIR="${KERL_BASE_DIR:?}"/gits +# Default values +: ${KERL_BASE_DIR:="$HOME"/.kerl} +: ${KERL_CONFIG:="$HOME"/.kerlrc} +: ${KERL_DOWNLOAD_DIR:="${KERL_BASE_DIR:?}"/archives} +: ${KERL_BUILD_DIR:="${KERL_BASE_DIR:?}"/builds} +: ${KERL_GIT_DIR:="${KERL_BASE_DIR:?}"/gits} + if [ -n "$KERL_CONFIGURE_OPTIONS" ]; then _KCO="$KERL_CONFIGURE_OPTIONS" fi @@ -59,6 +61,8 @@ KERL_CONFIGURE_OPTIONS= KERL_CONFIGURE_APPLICATIONS= KERL_CONFIGURE_DISABLE_APPLICATIONS= KERL_SASL_STARTUP= +KERL_DEPLOY_SSH_OPTIONS= +KERL_DEPLOY_RSYNC_OPTIONS= KERL_INSTALL_MANPAGES= KERL_BUILD_PLT= |