#!/bin/bash
if [ "$(md5sum linux-headers-4.0.1-040001_4.0.1-040001.201504290935_all.deb | cut -d ' ' -f 1)" != "d757d51819f8f945ae7715b532ab8d2e" ] ; then wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.0.1-vivid/linux-headers-4.0.1-040001-generic_4.0.1-040001.201504290935_i386.deb; else echo "linux-headers-4.0.1-040001_4.0.1-040001.201504290935_all.deb up to date"; fi
if [ "$(md5sum linux-headers-4.0.1-040001-generic_4.0.1-040001.201504290935_i386.deb | cut -d ' ' -f 1)" != "657f07ae89395f9efd62bead00b42fbb" ] ; then wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.0.1-vivid/linux-headers-4.0.1-040001-generic_4.0.1-040001.201504290935_i386.deb; else echo "linux-headers-4.0.1-040001-generic_4.0.1-040001.201504290935_i386.deb up to date"; fi
if [ "$(md5sum linux-image-4.0.1-040001-generic_4.0.1-040001.201504290935_i386.deb | cut -d ' ' -f 1)" != "69f423e3888fe56cd5c74658aa7aaea7" ] ; then wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.0.1-vivid/linux-image-4.0.1-040001-generic_4.0.1-040001.201504290935_i386.deb; else echo "linux-image-4.0.1-040001-generic_4.0.1-040001.201504290935_i386.deb up to date"; fi
