#!/bin/bash cd "$(dirname "$(readlink -e "$0")")" if [ "x$1" = 'x--pull' ]; then shift git pull --ff-only fi key_id='5FDCA472AB93292BC678FD59255A76DB9A12601A' pkill keyboxd gpg --recv-keys ${key_id} gpg -a --export-secret-keys ${key_id} > keys for i in {1..5}; do printf 'Server = http://pkgcache.eckner.net/arch/$arch/$repo\n' done >mirrorlist docker buildx build "$@" -f slave.Dockerfile -t arch32-slave . || exit $? rm keys rm mirrorlist