On Wed, 3 Apr 2013, Stephen J. Turnbull wrote:
fr...@library.iisc.ernet.in 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....
Thanks for the replay. I used the grep command as you have suggested, but
it doesn't help. Had a look at the archived msg in question. There is only
once space between Mar and 8.
- Francis
--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
------------------------------------------------------
Mailman-Users mailing list Mailman-Users@python.org
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