diff options
-rwxr-xr-x | update-infcloud-cache | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update-infcloud-cache b/update-infcloud-cache index 071ec77..162b8d1 100755 --- a/update-infcloud-cache +++ b/update-infcloud-cache @@ -4,7 +4,7 @@ # Use this script every time you modify any file to force browsers to reload it (empty HTML5 cache). USE_BIN=none -MANIFEST=/etc/infcloud/cache.manifest +test -z "${MANIFEST}" && MANIFEST=/etc/infcloud/cache.manifest test -e $( command -v ed 2>/dev/null ) && USE_BIN=ed test -e $( command -v sed 2>/dev/null ) && USE_BIN=sed command -v "${USE_BIN}" &> /dev/null || { echo "Error: 'ed' not installed. Aborting." > /dev/stderr; exit 1; } |