Wie man Zeilen einer Datei nach Wertbereich "grep"

Question

Ich habe eine Datei mit Zeitstempeln und ich möchte es grep, damit ich die Zeilen 12:30:00 - 12:32:00 sehen kann. Ich weiß, dass es in bash die {0..2} für etwas Ähnliches gibt, aber ich weiß nicht in Grep, wie man es macht? Im Moment mache ich grep 2015-01-12 12:3{0..2}, aber es funktioniert nicht?

Answer 1

können Sie Folgendes für dieses verwenden.

grep '2015-01-12 12:3[0-2]' 

oder

grep '2015-01-12 12:3[0,1,2]' 

Ich hoffe, es hilft.