#!/bin/sh

set -eu

CONFIG_DIR=${CONFIG_DIR:-/etc/geordi}

. /usr/share/geordi/_functions
. /etc/geordi/scripts-config

trap 'cd "$(pwd)"' EXIT

RT=${RT:-"/var/lib/geordi/rt"}
TRYCOMPILE_MAX=${TRYCOMPILE_MAX:-30}
PRELUDE_DIR=${PRELUDE_DIR:-/usr/share/geordi/prelude}
DEBUG=${DEBUG:-0}
INFO=${INFO:-1}

export RT
export TRYCOMPILE_MAX
export CONFIG_DIR
export PRELUDE_DIR
export DEBUG
export INFO

Echo_info "Refreshing chroot in ${RT}"

run-parts /usr/share/geordi/refresh.d --exit-on-error

Echo_info "Done."
