#!/bin/sh BASE="$(dirname $0)" case "$(hostname --short)" in arm-b32 | cubietruck) # rebuild images ./Fedora-rpi32.sh 26 || exit 1 ./Fedora-efi-armv7.sh 26 || exit 1 ;; arm-b64) # rebuild images # ./Fedora-rpi64-fedora.sh 26 || exit 1 ./Fedora-rpi64-kraxel.sh 26 || exit 1 # ./Fedora-efi-grub2.sh 25 || exit 1 ;; sirius) # rebuild images export IMAGEFISH_DESTDIR="/vmdisk/hdd/imagefish" ./RHEL73-efi.sh || exit 1 ./RHEL74-efi.sh || exit 1 ./CentOS7-efi.sh || exit 1 # linux32 ./Fedora-efi-systemd.sh 25 || exit 1 ./Fedora-efi-grub2.sh 26 || exit 1 ./Fedora-efi-systemd.sh 26 || exit 1 ;; *) echo "unknown host, don't know what to do" exit 1 ;; esac exec $BASE/push-images.sh