Adjust elapsed time for 5 hours?

Question

I have the following script that basically looks for a certain process name and tracks if it's elapsed for more than X time, to kill it.

#!/bin/bash

PROC_NAME=my_proc_name

# Get all PIDs for process name
procs=(`ps aux | grep  $PROC_NAME | awk '{print $2}'`)

# for each PID in PIDs array
for pid in $procs; do
    # get elapsed time in form mm:ss and remove ":" character
    # to make it easier to parse time 
    time=(`ps -o etime $pid | sed -e 's/[:-]/ /g'`)
    # get minutes from time
    min=${time[1]}
    # if proces runs 5 hours then kill it
    if [ "$min" -gt "300" ]; then
        kill -9 $pid
    fi
done;

This version of the script kills the process if the elapsed time exceeds 5 mins. But what if i want to account for an elapsed time of 5 hours instead?

I thought it'd be as simple as adjusting 5 mins to 300 mins (60 mins x 5 = 300mins = 5 hours) but I realized that the format is hours:min:secs .. so will need to make sure Sed gets the hours, right? If so, how do I do that?

Answer 1

Usually, on many systems, I transform the ps elapsed time in seconds with awk:

#! /bin/bash

...

declare -i E_TIME=$(ps \
    -p ${THE_PID} \
    -o etime=     \
| awk '
    {
        gsub(/^ +/, "")
        gsub(/ +$/, "")
    }
    /^[0-9]*-/ {
        days = $0
        gsub(/-.*$/, "", days)
        gsub(/^0+/,  "", days)
        if (days == "") days = "0"
        gsub(/^[0-9]+-/, "", $0)
    }
    /^[0-9]+:[0-9]+:[0-9]+$/ {
        hours = $0
        gsub(/:.*$/, "", hours)
        gsub(/^0+/,  "", hours)
        if (hours == "") hours = "0"
        gsub(/^[0-9]+:/, "", $0)
    }
    /^[0-9]+:[0-9]+$/ {
        minutes = $0
        gsub(/:.*$/, "", minutes)
        gsub(/^0+/,  "", minutes)
        if (minutes == "") minutes = "0"
        gsub(/^[0-9]+:/, "", $0)
    }
    /^[0-9]+$/ {
        seconds = $0
        gsub(/:.*$/, "", seconds)
        gsub(/^0+/,  "", seconds)
        if (seconds == "") seconds = "0"
    }
    {
        print seconds + 60 * (minutes + 60 * (hours + 24 * days) )
    }
'
)

echo "E_TIME=${E_TIME}"