2022-10-20 08:00:10 +00:00
|
|
|
reset-elapsed() {
|
|
|
|
(( last_cmd_at = SECONDS ))
|
|
|
|
}
|
|
|
|
|
|
|
|
ping-timer() {
|
2022-10-21 21:33:20 +00:00
|
|
|
kill -USR1 "$reaper_pid"
|
2022-10-20 08:00:10 +00:00
|
|
|
}
|
|
|
|
|
2022-10-21 21:33:20 +00:00
|
|
|
slay-reaper() {
|
2022-10-20 08:00:10 +00:00
|
|
|
kill -KILL "$reaper_pid"
|
|
|
|
}
|
|
|
|
|
|
|
|
{
|
|
|
|
trap reset-elapsed USR1
|
|
|
|
last_cmd_at=0
|
|
|
|
|
|
|
|
while sleep 1; do
|
|
|
|
(( elapsed = SECONDS - last_cmd_at ))
|
|
|
|
|
|
|
|
if (( elapsed > 600 )); then
|
|
|
|
kill -KILL "$$"
|
|
|
|
exit
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
} &
|
|
|
|
|
2022-10-20 20:51:26 +00:00
|
|
|
reaper_pid=$! PROMPT_COMMAND+=(ping-timer)
|
2022-10-21 21:33:20 +00:00
|
|
|
trap slay-reaper EXIT
|