2018-11-04 19:34:40 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
2018-11-23 16:40:17 +00:00
|
|
|
set -eu
|
|
|
|
|
2019-03-25 13:21:55 +00:00
|
|
|
: "${DEFAULT_DIST:=unstable}"
|
2018-12-28 06:44:54 +00:00
|
|
|
: "${cachedir:=./shared/cache}"
|
2018-11-23 16:44:59 +00:00
|
|
|
tmpdir="$(mktemp -d)"
|
2018-11-04 19:34:40 +00:00
|
|
|
|
2018-12-27 13:14:01 +00:00
|
|
|
cleanup() {
|
|
|
|
rv=$?
|
2020-11-26 22:45:08 +00:00
|
|
|
rm -f "$tmpdir/log"
|
2018-12-27 13:14:01 +00:00
|
|
|
[ -e "$tmpdir" ] && rmdir "$tmpdir"
|
2023-01-16 07:12:19 +00:00
|
|
|
if [ -n "${TAIL_PID:-}" ]; then
|
|
|
|
kill "$TAIL_PID"
|
|
|
|
fi
|
2023-01-16 06:54:03 +00:00
|
|
|
if [ -e shared/output.txt ]; then
|
|
|
|
res="$(cat shared/exitstatus.txt)"
|
2018-12-30 16:13:46 +00:00
|
|
|
if [ "$res" != "0" ]; then
|
2018-12-27 13:14:01 +00:00
|
|
|
# this might possibly overwrite another non-zero rv
|
|
|
|
rv=1
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
exit $rv
|
|
|
|
}
|
|
|
|
|
|
|
|
trap cleanup INT TERM EXIT
|
|
|
|
|
2023-01-16 06:54:03 +00:00
|
|
|
echo 1 > shared/exitstatus.txt
|
|
|
|
if [ -e shared/output.txt ]; then
|
|
|
|
rm shared/output.txt
|
|
|
|
fi
|
|
|
|
touch shared/output.txt
|
2023-01-16 07:12:19 +00:00
|
|
|
tail -f shared/output.txt &
|
|
|
|
TAIL_PID=$!
|
2023-01-16 06:54:03 +00:00
|
|
|
|
2018-12-30 16:14:15 +00:00
|
|
|
# to connect to serial use:
|
|
|
|
# minicom -D 'unix#/tmp/ttyS0'
|
2022-10-16 13:31:05 +00:00
|
|
|
#
|
|
|
|
# or this (quit with ctrl+q):
|
|
|
|
# socat stdin,raw,echo=0,escape=0x11 unix-connect:/tmp/ttyS0
|
2020-11-26 22:45:08 +00:00
|
|
|
ret=0
|
2023-06-19 10:59:34 +00:00
|
|
|
timeout --foreground 40m debvm-run --image="$(realpath "$cachedir")/debian-$DEFAULT_DIST.ext4" -- \
|
|
|
|
-m 4G -snapshot \
|
2018-11-04 19:34:40 +00:00
|
|
|
-monitor unix:/tmp/monitor,server,nowait \
|
|
|
|
-serial unix:/tmp/ttyS0,server,nowait \
|
|
|
|
-serial unix:/tmp/ttyS1,server,nowait \
|
|
|
|
-virtfs local,id=mmdebstrap,path="$(pwd)/shared",security_model=none,mount_tag=mmdebstrap \
|
2020-11-26 22:45:08 +00:00
|
|
|
>"$tmpdir/log" 2>&1 || ret=$?
|
|
|
|
if [ "$ret" -ne 0 ]; then
|
|
|
|
cat "$tmpdir/log"
|
|
|
|
exit $ret
|
|
|
|
fi
|