diskimage-builder/elements/pypi/extra-data.d/00-mount-pypi-mirror

#!/bin/bash

set -eu
set -o pipefail

PYPI_MIRROR_URL=${PYPI_MIRROR_URL:-''}
if [ -n "$PYPI_MIRROR_URL" ]; then
    # External mirror URL being used - no need to bind mount anything.
    exit 0
fi
MIRROR_SOURCE=~/.cache/image-create/pypi/mirror/
MIRROR_TARGET=$TMP_MOUNT_PATH/tmp/pypi

sudo mkdir -p $MIRROR_SOURCE $MIRROR_TARGET
sudo mount --bind $MIRROR_SOURCE $TMP_MOUNT_PATH/tmp/pypi
Allow using a pypi mirror to install via pip. Using a custom pypi mirror can be very convenient, making image builds substantially faster - because we create multiple virtual environments we benefit more than single-virtualenv users would. Change-Id: I997daf1f9477c447e1fb30818aea9e80a49b31a6 2013-08-09 13:13:15 +00:00			`#!/bin/bash`

			`set -eu`
set -u and -o pipefail everywhere As with the previous similar changes, this is intended to catch problems as they happen instead of ignoring them and continuing on to potentially fail later. Setting this on all existing scripts will allow us to enforce use via Jenkins. Change-Id: Iad2d490c86dceab148ea9ab08f457c49a5d5352e 2014-04-03 02:24:15 +00:00			`set -o pipefail`
Allow using a pypi mirror to install via pip. Using a custom pypi mirror can be very convenient, making image builds substantially faster - because we create multiple virtual environments we benefit more than single-virtualenv users would. Change-Id: I997daf1f9477c447e1fb30818aea9e80a49b31a6 2013-08-09 13:13:15 +00:00
Permit using arbitrary PyPI urls. The pypi element is cool, but some folk have local network mirrors which we should permit them to use. Change-Id: Ie840ad1184e72b0e01966eee0298cfd6511b6c19 2014-02-19 01:03:56 +00:00			`PYPI_MIRROR_URL=${PYPI_MIRROR_URL:-''}`
			`if [ -n "$PYPI_MIRROR_URL" ]; then`
4 spaces indent ensure 4 spaces indentation is used everywhere. Change-Id: Ieb48faacb4c96b7b358771d70c17f2f22d0354f4 2014-05-02 17:02:38 +00:00			`# External mirror URL being used - no need to bind mount anything.`
			`exit 0`
Permit using arbitrary PyPI urls. The pypi element is cool, but some folk have local network mirrors which we should permit them to use. Change-Id: Ie840ad1184e72b0e01966eee0298cfd6511b6c19 2014-02-19 01:03:56 +00:00			`fi`
Allow using a pypi mirror to install via pip. Using a custom pypi mirror can be very convenient, making image builds substantially faster - because we create multiple virtual environments we benefit more than single-virtualenv users would. Change-Id: I997daf1f9477c447e1fb30818aea9e80a49b31a6 2013-08-09 13:13:15 +00:00			`MIRROR_SOURCE=~/.cache/image-create/pypi/mirror/`
			`MIRROR_TARGET=$TMP_MOUNT_PATH/tmp/pypi`

Make the MIRROR_TARGET directory if it didn't exist Just adding an element shouldn't make a disk image build crash, even if we're not using the element for its intended purpose. Change-Id: I2ec91ce4975b3b0deee7c85bb223f854c694553f 2014-02-06 14:09:32 +00:00			`sudo mkdir -p $MIRROR_SOURCE $MIRROR_TARGET`
Allow using a pypi mirror to install via pip. Using a custom pypi mirror can be very convenient, making image builds substantially faster - because we create multiple virtual environments we benefit more than single-virtualenv users would. Change-Id: I997daf1f9477c447e1fb30818aea9e80a49b31a6 2013-08-09 13:13:15 +00:00			`sudo mount --bind $MIRROR_SOURCE $TMP_MOUNT_PATH/tmp/pypi`