#!/bin/bash -e pushd "${BASH_SOURCE%/*}" > /dev/null; PARTITION_MODULE="./partition.nix" \ ARCH_HOSTNAME="der-geret" \ USER_DISPLAYNAME="Manuel Thalmann" \ . "../../../scripts/Arch/OS/setup.sh"; popd > /dev/null;