( muszi | 2012. 07. 03., k – 08:25 )

deltime:

#! /bin/bash

declare -i now time

now="$(date "+%s")"

while read time; do
  if [ "$time" -ge "$now" ]; then
    echo "$time"
  fi
done

# ./deltime < timelist.old > timelist.new