#!/bin/bash -e
pushd "${BASH_SOURCE%/*}" > /dev/null;
. "./partition.sh";

ARCH_HOSTNAME="der-geret" \
USER_DISPLAYNAME="Manuel Thalmann" \
    . "../../../scripts/Arch/OS/setup.sh";

popd > /dev/null;