次file.txt
の形式の行がありますHH:MM:SS
。
00:05:50
01:40:10
00:23:09
00:34:02
そして、30分から1時間20分までの時間を示す行を印刷したいと思います。
これは私の試みです:
LINES=`grep '(00:[3-5][0-9]:[0-5][0-9]|01:[01][0-9]:[0-5][0-9]|01:20:00)' file.txt`
echo "$LINES"
ただし、これは結果を示しません。私は何を間違っていますか?
ありがとう!