Mercurial > hg > config
view bin/example/pid.sh @ 879:79b52aec477e
function for java_home
author | Jeff Hammel <k0scist@gmail.com> |
---|---|
date | Fri, 24 May 2019 15:34:11 -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}