#!/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;