bin/sprint @ 9baeb5608769

More
author Steve Losh <steve@stevelosh.com>
date Sun, 29 Jan 2023 12:52:13 -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