awk parser for ctftime.org

ctftime_parser.awk

#!/usr/bin/env gawk -f
BEGIN {
    format = "%-8s%-8s%-12s%s\n"
    for (i = 0; i < ARGC; i++) {
        if (ARGV[i] == "--csv") {
            format = "%s,%s,%s,\"%s\"\n"
        }
        delete ARGV[i]
    }
    printf(format, "Place", "TeamID", "Score", "TeamName")
}

{
    if (match($0, /<td class="place( leader)?">([0-9]+)<\/td>$/, arr))
    {
        no = arr[2]
    }
    else if (match($0, /^<td><a href="\/team\/([0-9]+)">(.+)<\/a><\/td>$/, arr))
    {
        id = arr[1]
        name = arr[2]
    }
    else if (match($0, /^<td class="points">([0-9\.]+)<\/td>/, arr))
    {
        score = arr[1]
        printf(format, no, id, score, name)
    }
}