Skip to content

Instantly share code, notes, and snippets.

@robvinson
robvinson / dl.sh
Created May 18, 2012 03:47
Get index page from web servers
#!/bin/sh
DSTDIR=80open
mkdir $DSTDIR
is_empty() {
if [ -s $1 ]; then #exists and is not empty
return 1
else
if [ -f $1 ]; then #file exists and is empty