[email protected] writes:
> grep -r "Fri Mar 8 10:09:05 IST 2013" *
Try
grep -r "Fri Mar 8 10:09:05 IST 2013" *
(note two spaces before 8 in "Mar 8")
Grep is not very smart that way....
------------------------------------------------------
Mailman-Users mailing list [email protected]
http://mail.python.org/mailman/listinfo/mailman-users
Mailman FAQ: http://wiki.list.org/x/AgA3
Security Policy: http://wiki.list.org/x/QIA9
Searchable Archives: http://www.mail-archive.com/mailman-users%40python.org/
Unsubscribe:
http://mail.python.org/mailman/options/mailman-users/archive%40jab.org