diff --git a/web_cmd.sh b/web_cmd.sh new file mode 100644 index 0000000..1dfcfdb --- /dev/null +++ b/web_cmd.sh @@ -0,0 +1,26 @@ +#!/bin/sh + +set -e +set -u +# DEBUG +#set -x + +main() { + cmd="${1}" + + cd "$(dirname "${0}")" + flock=".web_command_lock" + if [ -f "${flock}" ]; then + content="$(cat "${flock}")" + echo "web command already requested: ${content}" + else + touch + deployment="${deployment:-prod}" + echo "requested ${cmd}" + ${cmd} & + fi + rm "${flock}" + +} + +main "${@}"