#!/bin/bash # Test internet wget -q --spider --timeout=2 https://google.com if [ $? -ne 0 ]; then exit -1; fi SCR_WIDTH=1980 SCR_HEIGHT=1080 PADDING=50 FONT_SIZE=20 let "SCR_WIDTH -= 2 * $PADDING" let "SCR_WIDTH /= 2" let "SCR_HEIGHT -= 2 * $PADDING" PAGE=$RANDOM; let "PAGE %= 22"; let "PAGE += 1" cd /tmp wget -qO texample.html "http://texample.net/tikz/examples/all/?page=$PAGE" EXAMPLES="$(grep '^