VirtualTam's bookmarks

  1.  1#!/bin/bash
     2# Check if a file needs to be downloaded
     3# Useful iff there is no checksum available to check a local file
     4url=http://test-url.com
     5
     6dl=1
     7if [[ -f $file_path ]]; then
     8    local_size=$(ls -l $file_path | awk '{print $5}')
     9    remote_size=$(wget --spider $url 2>&1 | awk '/Length/ {print $2}')
    10
    11    if [[ $local_size -eq $remote_size ]]; then
    12        echo "The file was previously downloaded"
    13        dl=0
    14    else
    15        echo "Corrupted file found, re-downloading..."
    16        rm -f $file_path
    17    fi
    18else
    19    echo "Downloading file..."
    20fi
    21
    22[[ $dl -eq 1 ]] && wget $url -O $file_path