chore: rename hosts

This commit is contained in:
Leon Schwarzäugl 2025-11-08 03:37:15 +01:00
parent c9e7e493d8
commit 2775193fae
Signed by: swarsel
GPG key ID: 26A54C31F2A4FD84
13 changed files with 121 additions and 22 deletions

View file

@ -1,6 +1,6 @@
set -eo pipefail
target_config="chaostheatre"
target_config="hotel"
target_user="swarsel"
function help_and_exit() {
@ -12,8 +12,8 @@ function help_and_exit() {
echo "ARGS:"
echo " -d <disk> specify disk to install on."
echo " -n <target_config> specify the nixos config to deploy."
echo " Default: chaostheatre"
echo " Default: chaostheatre"
echo " Default: hotel"
echo " Default: hotel"
echo " -u <target_user> specify user to deploy for."
echo " Default: swarsel"
echo " -h | --help Print this help."