This repository has been archived on 2024-05-31. You can view files and clone it, but cannot push or open issues or pull requests.
2024-03-15 08:14:46 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
set -e
|
|
|
|
set -u
|
|
|
|
# DEBUG
|
2024-03-15 08:23:19 +00:00
|
|
|
set -x
|
2024-03-15 08:14:46 +00:00
|
|
|
|
|
|
|
main() {
|
|
|
|
cmd="${1}"
|
|
|
|
|
|
|
|
cd "$(dirname "${0}")"
|
|
|
|
flock=".web_command_lock"
|
|
|
|
if [ -f "${flock}" ]; then
|
|
|
|
content="$(cat "${flock}")"
|
|
|
|
echo "web command already requested: ${content}"
|
|
|
|
else
|
2024-03-15 08:23:19 +00:00
|
|
|
touch "${flock}"
|
2024-03-15 08:14:46 +00:00
|
|
|
deployment="${deployment:-prod}"
|
|
|
|
echo "requested ${cmd}"
|
|
|
|
${cmd} &
|
|
|
|
fi
|
|
|
|
rm "${flock}"
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
main "${@}"
|