• @rambaroo
    link
    31 year ago

    You should be able to use curl to get the HTML and then pipe it to grep.