[ ] Sunday, 5 January 2020 [ ]

regex

grep -E '^[[:alpha:]]{9}$' filename

And of course the great Regex 101 and Regexr.

regex


$Id: dates.htm,v 1.1366 2020/06/06 10:51:16 fred Exp $

$Id: diary,v 1.27 2017/09/01 17:12:44 fred Exp $