grep -E für Linux Datum Zeit String

Question

Hallo, ich mag das Datum und die Uhrzeit des folgenden Inhalts

"text text Sat Mar 4 12:13:23 IST 2017 text text blah:blah" 

i den folgenden Befehl verwendet, aber nicht in der Lage, es zu beenden, weil das Datum mit einziger Nummer 4 Starten statt 04

grep -Eo '\w{3} \w{3} ' 

Answer 1

Mit GNU grep:

echo "text text Sat Mar 4 12:13:23 IST 2017 text text blah:blah" | grep -Eo '[^ ]{3} [^ ]{3} [0-9 ]{2} [0-9:]{7,8} [^ ]+ [0-9]{4}' 

Ausgang:

 
Sat Mar 4 12:13:23 IST 2017 

---

Referenz: The Stack Overflow Regular Expressions FAQ