forked from DGNum/infrastructure
Tom Hubrecht
88d9b8c3e3
Signed-off-by: Tom Hubrecht <tom.hubrecht@dgnum.eu> Acked-by: Ryan Lahfa <ryan.lahfa@dgnum.eu> Acked-by: Maurice Debray <maurice.debray@dgnum.eu> Acked-by: Lubin Bailly <lubin.bailly@dgnum.eu> Acked-by: Jean-Marc Gailis <jean-marc.gailis@dgnum.eu> as the legal authority, at the time of writing, in DGNum. Acked-by: Elias Coppens <elias.coppens@dgnum.eu> as a member, at the time of writing, of the DGNum executive counsel.
43 lines
826 B
Bash
Executable file
43 lines
826 B
Bash
Executable file
# SPDX-FileCopyrightText: 2024 Maurice Debray <maurice.debray@dgnum.eu>
|
|
#
|
|
# SPDX-License-Identifier: EUPL-1.2
|
|
|
|
set -o errexit
|
|
set -o nounset
|
|
set -o pipefail
|
|
shopt -s lastpipe
|
|
|
|
MACHINE=""
|
|
HOSTFWD=""
|
|
|
|
while getopts 'p:o:h' opt; do
|
|
case "$opt" in
|
|
p)
|
|
HOSTFWD=",hostfwd=tcp::$OPTARG$HOSTFWD"
|
|
;;
|
|
|
|
o)
|
|
MACHINE="$OPTARG"
|
|
;;
|
|
|
|
h | ?)
|
|
echo "Usage: $(basename "$0") [-p hostport-:guestport] -o MACHINE"
|
|
exit 1
|
|
;;
|
|
esac
|
|
done
|
|
shift "$((OPTIND - 1))"
|
|
|
|
if [ -z "$MACHINE" ]; then
|
|
echo "-o option needed"
|
|
exit 1
|
|
fi
|
|
|
|
DRV_PATH=$(colmena eval --instantiate -E "{nodes, ...}: nodes.$MACHINE.config.system.build.vm")
|
|
|
|
echo "Realising $DRV_PATH"
|
|
RESULT=$(nix-store -r "$DRV_PATH")
|
|
|
|
echo "Built $RESULT, launching VM ..."
|
|
|
|
"$RESULT/bin/run-$MACHINE-vm" -device e1000,netdev=net0 -netdev "user,id=net0$HOSTFWD"
|