fetch-jars

#!/bin/bash

set -eu

LOCAL_STORE=/web/research/melt.cs.umn.edu/downloads/silver-dev/jars
REMOTE_STORE="http://melt.cs.umn.edu/downloads/silver-dev/jars"

FILES="edu.umn.cs.melt.exts.silver.ableC.composed.with_all.jar"

mkdir -p jars

if [ -d $LOCAL_STORE ]; then
  for file in $FILES; do
      cp $LOCAL_STORE/$file jars/
  done
else
  # There's probably a better way to do this!
  # Using -r causes lots of pointless downloads of variations of the index.html
  # even if -A.jar is used they still get downloaded...
  
  URLS=""
  for file in $FILES; do
    URLS="$URLS $REMOTE_STORE/$file"
  done
  
  # We're going to download them to here
  mkdir -p JARS-BAK
  
  # -N Pay attention to timestamps, to avoid needless redownloads.
  # -P jars/  Put the files in jars/
  # -nv Don't be so verbose!
  wget -N -P JARS-BAK/ -nv $URLS
  
  # Always overwrite all the files in jars.
  for file in $FILES; do
      cp JARS-BAK/$file jars/
  done
fi