#!/bin/bash
# usage: run.sh <script> <uname-s> <uname-m>
set -u
D=$(mktemp -d /tmp/issue-lead-33314-r1/repro/run-XXXX); mkdir -p $D/bin $D/home
printf '#!/bin/sh\ncase "$1" in -s) echo %s;; -m) echo %s;; *) echo %s;; esac\n' "$2" "$3" "$2" > $D/bin/uname
printf '#!/bin/sh\necho "CURL_STUB download attempt: $*" >&2\nexit 22\n' > $D/bin/curl
chmod +x $D/bin/*
HOME=$D/home PATH=$D/bin:/usr/bin:/bin sh "$1" --version; echo "exit=$?"
