grepで日付・タイムスタンプを抽出する

ちょっとした作業で、日付やタイムスタンプを取得する必要があったので、一応念の為残しておく。

grep -E '20[0-9]{2}/[0-9]{2}/[0-9]{2} [0-9]{2}:[0-9]{2}:[0-9]{2}'
grep -P '\d{4}/\d{2}/\d{2} \d{2}:\d{2}:\d{2}'

これで、「YYYY/mm/dd HH:MM:SS」相当の文字列をgrepできる(厳密には違うけど)。