PortValhalla/profiles/DerGeret/Arch/setup.sh

#!/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;
Exit script on error 2024-03-24 23:26:12 +00:00			`#!/bin/bash -e`
Add Arch scripts for the computer 2023-06-20 20:06:19 +00:00			`pushd "${BASH_SOURCE%/*}" > /dev/null;`

Rename partitioning modules to `config` 2024-07-07 23:09:31 +00:00			`CONFIG_MODULE="./config.nix" \`
Add Arch scripts for the computer 2023-06-20 20:06:19 +00:00			`ARCH_HOSTNAME="der-geret" \`
			`USER_DISPLAYNAME="Manuel Thalmann" \`
			`. "../../../scripts/Arch/OS/setup.sh";`

			`popd > /dev/null;`