diff --git a/scripts/ventoy.sh b/scripts/ventoy.sh new file mode 100755 index 0000000..f206751 --- /dev/null +++ b/scripts/ventoy.sh @@ -0,0 +1,30 @@ +#!/usr/bin/env bash + +set -e + +ARCHS=( + i686 + x86_64 +) +CONFIGS=( + desktop +) + +VENTOY="/media/${USER}/Ventoy" +if [ ! -d "${VENTOY}" ] +then + echo "Ventoy not mounted" >&2 + exit 1 +fi + +for ARCH in "${ARCHS[@]}" +do + for CONFIG_NAME in "${CONFIGS[@]}" + do + IMAGE="build/${ARCH}/${CONFIG_NAME}/livedisk.iso" + make ARCH="${ARCH}" CONFIG_NAME="${CONFIG_NAME}" "${IMAGE}" + cp -v "${IMAGE}" "${VENTOY}/redox-${CONFIG_NAME}-${ARCH}.iso" + done +done + +echo "Finished copying configs (${CONFIGS[@]}) for archs (${ARCHS[@]})"