htmltitle

#!/usr/bin/awk -f
# output text of HTML title element from text given on stdin on stdout
# usage with http@ from DJB's ucspi-tcp: http@ example.org | htmltitle
BEGIN {
    IGNORECASE=1;
    FS="<title>|</title>";
    RS=EOF;
}
{
    print $2;
}