diff --git a/resources/provision.sh b/resources/provision.sh index 80c86e7..53cc727 100755 --- a/resources/provision.sh +++ b/resources/provision.sh @@ -92,10 +92,13 @@ upstream_pkg_site_available() { } bootstrap_pkg() { - if [ -e /dev/iso9660 ]; then - local device_path=/dev/iso9660 - elif [ -e /dev/cd0 ]; then + local device_version="$(echo "$OS_VERSION" | sed 's/\./_/')" + local device_arch="$(echo "$PKG_SITE_ARCHITECTURE" | tr '[:lower:]' '[:upper:]')" + + if [ -e /dev/cd0 ]; then local device_path=/dev/cd0 + elif [ -e "/dev/iso9660/${device_version}_RELEASE_${device_arch}_BO" ]; then + local device_path="/dev/iso9660/${device_version}_RELEASE_${device_arch}_BO" else echo "ERROR: There is no DVD/CDROM device available to mount" >&2 exit 1