2013-08-09 13:13:15 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
2014-09-04 04:56:29 +00:00
|
|
|
if [ ${DIB_DEBUG_TRACE:-0} -gt 0 ]; then
|
|
|
|
set -x
|
|
|
|
fi
|
2013-08-09 13:13:15 +00:00
|
|
|
set -eu
|
2014-04-03 02:24:15 +00:00
|
|
|
set -o pipefail
|
2013-08-09 13:13:15 +00:00
|
|
|
|
2014-10-05 20:55:34 +00:00
|
|
|
MIRROR_SOURCE=$DIB_IMAGE_CACHE/pypi/mirror/
|
2014-05-26 02:20:50 +00:00
|
|
|
if [ -d "$MIRROR_SOURCE" ]; then
|
|
|
|
MIRROR_TARGET=$TMP_MOUNT_PATH/tmp/pypi
|
2013-08-09 13:13:15 +00:00
|
|
|
|
2016-04-08 05:46:21 +00:00
|
|
|
sudo mkdir -p $MIRROR_SOURCE $MIRROR_TARGET # dib-lint: safe_sudo
|
|
|
|
sudo mount --bind $MIRROR_SOURCE $MIRROR_TARGET # dib-lint: safe_sudo
|
2014-05-26 02:20:50 +00:00
|
|
|
fi
|