bin/sprint @ 4f28fbfd7d63 default tip

More
author Steve Losh <steve@stevelosh.com>
date Tue, 09 Apr 2024 09:20:04 -0400
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