~ salmonella-environment-setup (master) /scripts/linux/hunt-scsh-defunct.sh

 1#! /bin/bash
 2
 3stuck=$(ps faux | grep -B1 '<[d]efunct>' | head -n1)
 4
 5if echo "$stuck" | grep -q "chicken/bin/csi -script run.scm"; then
 6    pid_stuck=$(echo "$stuck" | awk '{print $2}')
 7fi
 8
 9if [ -n "$pid_stuck" ] && grep -q '(use scsh-process)' /proc/"$pid_stuck"/cwd/run.scm; then
10    kill "$pid_stuck"
11fi