bin/sprint @ 7514d616f502

Remove unused directory
author Steve Losh <steve@stevelosh.com>
date Sun, 19 Jul 2020 11:10:05 -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