GREP числовой диапазон

Question

У меня есть файл журнала в следующем формате

14:15
14:16
14:17
14:30
14:31
14:41

Я хочу выполнить grep на основе 15-минутного интервала времени. Так что в одном случае я хочу grep время ч / б 14: 0-14: 15 в другом случае я хочу grep время ч / б 14:15 14: 30

Есть ли способ сделать это в grep?

Answer 1

$ awk -v start=14:15 -v end=14:30 'start<=$1 && $1<=end' log.txt
14:15
14:16
14:17
14:30