2023-06-20 20:06:19 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
pushd "${BASH_SOURCE%/*}" > /dev/null;
|
|
|
|
|
|
2023-07-12 21:01:37 +00:00
|
|
|
PARTITION_SCRIPT="$(realpath ./partition.sh)" \
|
2023-07-12 21:30:00 +00:00
|
|
|
SKIP_FORMAT_EFI=1 \
|
2023-06-20 20:06:19 +00:00
|
|
|
ARCH_MOUNT_ROOT="/mnt" \
|
|
|
|
|
ARCH_DISK=nvme0n1 \
|
|
|
|
|
ARCH_HOSTNAME="der-geret" \
|
|
|
|
|
USER_DISPLAYNAME="Manuel Thalmann" \
|
|
|
|
|
. "../../../scripts/Arch/OS/setup.sh";
|
|
|
|
|
|
|
|
|
|
popd > /dev/null;
|
