2015-04-09 18:57:41 +02:00
|
|
|
#!/bin/sh
|
|
|
|
#
|
2021-08-18 12:59:00 +02:00
|
|
|
# This chroot script uses xbps-uunshare(1) with user_namespaces(7).
|
2015-04-09 18:57:41 +02:00
|
|
|
#
|
|
|
|
readonly MASTERDIR="$1"
|
|
|
|
readonly DISTDIR="$2"
|
|
|
|
readonly HOSTDIR="$3"
|
|
|
|
readonly EXTRA_ARGS="$4"
|
2015-06-07 10:52:48 +02:00
|
|
|
readonly CMD="$5"
|
|
|
|
shift 5
|
2015-04-09 18:57:41 +02:00
|
|
|
|
|
|
|
if ! command -v xbps-uunshare >/dev/null 2>&1; then
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
2015-04-09 19:30:28 +02:00
|
|
|
if [ -z "$MASTERDIR" -o -z "$DISTDIR" ]; then
|
|
|
|
echo "$0 MASTERDIR/DISTDIR not set"
|
2015-04-09 18:57:41 +02:00
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
2018-04-16 14:15:15 +02:00
|
|
|
exec xbps-uunshare $EXTRA_ARGS -b $DISTDIR:/void-packages ${HOSTDIR:+-b $HOSTDIR:/host} -- $MASTERDIR $CMD $@
|