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

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

popd > /dev/null;