Mercurial > hg > config
view bin/example/pid.sh @ 793:82db7fa25a35
add a thing to clean docker volumes
author | Jeff Hammel <k0scist@gmail.com> |
---|---|
date | Tue, 18 Oct 2016 17:05:50 -0700 |
parents | f8813ed3d015 |
children |
line wrap: on
line source
#!/bin/bash PID=$$ echo "The PID of this shell script is ${PID}" ps auxwww | grep ${PID} if which tempfile then PIDFILE=$(tempfile) echo "PID file: ${PIDFILE}" echo ${PID} > ${PIDFILE} kill $(cat ${PIDFILE}) fi kill ${PID}