scripts/deploykernel.zsh

46 lines
875 B
Bash
Executable File

#!/bin/zsh -e
source common.zsh
autoload colors
colors
OPTS=(--clang)
zparseopts -D -K -clang+=OPTS -gcc+=OPTS -arm64+=OPTS -i686+=OPTS
if [ "$#" -lt 1 ]; then
echo "Usage: $0 {remote host, ...}"
exit 1
fi
case ${OPTS[-1]} in
--clang) export CC=clang ;;
--gcc) export CC=gcc ;;
--arm64) export CC=gcc
export ARCH=arm64
export CROSS_COMPILE=aarch64-linux-gnu-
;;
--i686) export CC=gcc
export ARCH=i386
;;
esac
PKGDEST=packages makepkg -f
PKGDEST=packages deploypkg.zsh $(makepkg --packagelist) $*
pkgname=$(grep ^pkgname PKGBUILD | awk -F= '{print $2}')
for vm in $*; do
title=$(ssh $vm grub-list.zsh -e | grep $pkgname$)
ssh $vm "sudo grub-reboot \"$title\""
done
echo
vm.zsh reboot $*
echo
tags=($(FORCE_COLOR=1 python $COLORS/vm.py $*))
for ((i=1; i<=$#; i++)); do
echo "${tags[i]} $fg_bold[default]$(ssh ${@[i]} uname -rsn)$reset_color"
done