Commit 840dc8da authored by Holger Levsen's avatar Holger Levsen
Browse files

common-functions: support hosts with new uncommon naming scheme

parent 26497180
Loading
Loading
Loading
Loading
+3 −3
Original line number Diff line number Diff line
#!/bin/bash
# vim: set noexpandtab:

# Copyright 2014-2022 Holger Levsen <holger@layer-acht.org>
# Copyright 2014-2023 Holger Levsen <holger@layer-acht.org>
#         © 2018      Mattia Rizzolo <mattia@mapreri.org>
# released under the GPLv2

@@ -112,7 +112,7 @@ else

	if [ "${MIRROR+x}" != "x" ] ; then
		case $HOSTNAME in
			jenkins|ionos*|osuosl*|snapshot)
			jenkins|ionos*|osuosl*|snapshot|reproducible*)
				export MIRROR=http://cdn-fastly.deb.debian.org/debian ;;
			cbxi4*|wbq0|ff*|jt?1*|virt32[a-z]|virt64[a-z])
				export MIRROR=http://cdn-fastly.deb.debian.org/debian ;;
@@ -141,7 +141,7 @@ else
			export http_proxy="http://10.0.0.15:3142/" ;;
		spectrum)
			export http_proxy="http://127.0.0.1:3128" ;;
		snapshot) : ;;
		snapshot|reproducible*) : ;;
		warren) : ;;  # warren is mattia's laptop
		*)
			echo "unsupported host, exiting." ; exit 1 ;;