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