mirror of
https://gitlab.com/fdroid/fdroidserver.git
synced 2024-11-14 11:00:10 +01:00
57447f18e1
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.
10 lines
206 B
Bash
10 lines
206 B
Bash
#!/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
|