3 ms·
In case anyone is interested, here's the quick hack: #!/bin/bash echo $( date "+%Y%m%d%H%M%S" ) $( \ curl -A ReaderCheck https://www.reddit.com/r/
by CarolineW 10y ago
In case anyone is interested, here's the quick hack:
#!/bin/bash
echo $( date "+%Y%m%d%H%M%S" ) $( \
curl -A ReaderCheck https://www.reddit.com/r/news/ 2> /dev/null \
| grep -ho "<span class=\"number\">[0-9,]*</span> <span class=\"word\">readers</span>" \
| grep -ho "[1-9][0-9,]*" \
| sed "s/,//g" \
| grep -v "^32$" \
) \
| tee -a Reader.log
I'm sure there's lots wrong with it - don't really care, it's a throw-away.