diff --git a/fetch.sh b/fetch.sh new file mode 100644 index 0000000..d0f1430 --- /dev/null +++ b/fetch.sh @@ -0,0 +1,4 @@ +#!/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