Como encontrar diferença entre dois carimbos de data e hora da época? [duplicado]

Question

Estou escrevendo um script para matar um emprego que dura mais de 30 minutos. O formato de horário da minha época é como 1503935475067 e estou usando current_time_stamp='date +%s%3N'

Como encontrar a diferença entre dois carimbos de data e hora da época?

    

Answer 1

Com bash usando parêntese duplo :

date1=$(date +%s%3N)
date2=1503935475067

if  (( ($date1-$date2)/60000 > 30 )); then
    # do something
fi