fdroidserver/buildserver/provision-buildserverid

#!/bin/bash -e

test -n "$1"

echo "Writing buildserver ID ...ID is $1"
set -x
echo "$1" > /home/vagrant/buildserverid
# sync data before we halt() the machine, we had an empty buildserverid otherwise
sync
buildserver: move buildserverid to provisioner In order to support Docker, this should be able to operate without ssh, e.g. using vagrant-communicator-docker. This removes the buildserverid hack and makes it a provisioner shell script. 2021-12-15 14:43:14 +01:00			`#!/bin/bash -e`

			`test -n "$1"`

			`echo "Writing buildserver ID ...ID is $1"`
			`set -x`
			`echo "$1" > /home/vagrant/buildserverid`
			`# sync data before we halt() the machine, we had an empty buildserverid otherwise`
			`sync`