# HG changeset patch # User Matti Hamalainen # Date 1411662454 -10800 # Node ID ca012374190c97556dbd39f17393e6c01958128b # Parent 5c0eacb7d35de2f7374008e60cdb31cb3ce8383e Fix update script to work with dash/non-bash shells. diff -r 5c0eacb7d35d -r ca012374190c update.sh --- a/update.sh Sat Sep 20 07:39:10 2014 +0300 +++ b/update.sh Thu Sep 25 19:27:34 2014 +0300 @@ -1,13 +1,13 @@ #!/bin/sh URLSUFFIX=".htm" -function createdir() +createdir() { test ! -d "$1" && mkdir -p "$1" && chmod 751 "$1" } -function fetch() +fetch() { URLPREFIX="$1" CLASSFILE="$2" @@ -22,7 +22,7 @@ } -function parse() +parse() { # Create cache directories, if they do not exist OLDCACHEDIR="${CACHEDIR}old/"