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