bin/sprint @ 73580329f5bf

Merge.
author Steve Losh <steve@stevelosh.com>
date Wed, 12 Feb 2020 23:10:41 -0500
parents a8a82a63b876
children (none)
#!/usr/bin/env bash

# Usage:
#
#     sprint './some-command foo' pidfile
#
# Then another process can:
#
#     kill `cat pidfile`
#
# to refresh the underlying process.

set -euo pipefail
set -m

PROGRAM="$1"
shift
PIDFILE="$1"
shift

echo "Starting ${PROGRAM}"
while true; do
    ${PROGRAM} &
    echo $! > "${PIDFILE}"
    fg >/dev/null || true
    rm "${PIDFILE}"

    echo "Restarting ${PROGRAM}"
    sleep 1
done