#!/bin/bash SCR_WIDTH=1980 SCR_HEIGHT=1080 PADDING=50 FONT_SIZE=20 CURL="curl -s" # Test internet timeout 4 wget -q --spider http://texample.net || setbg-backup || exit 1 let "SCR_WIDTH -= 2 * $PADDING" let "SCR_WIDTH /= 2" let "SCR_HEIGHT -= 2 * $PADDING" PAGE=$RANDOM; let "PAGE %= 22"; let "PAGE += 1" echo "TeXample page: http://texample.net/tikz/examples/all/?page=$PAGE" # Fetch list of texamples cd /tmp $CURL -o texample.html "http://texample.net/tikz/examples/all/?page=$PAGE" || setbg-backup || exit 1 EXAMPLES="$(grep '^