Add dofile to download kernel archive

ea0edc3a · Nils Dagsson Moskopp · 5d546324 · ea0edc3a · ea0edc3a
Unverified Commit ea0edc3a authored 4 years ago by Nils Dagsson Moskopp
--- a/all.do
+++ b/all.do
+redo-ifchange linux.tar.gz
--- a/linux.tar.gz.do
+++ b/linux.tar.gz.do
+redo-always
+
+URL="https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/snapshot/linux-5.7-rc6.tar.gz"
+UA="reform-system-image/2020-05-21"
+
+curl --head --silent --user-agent "${UA}" "${URL}" \
+ |grep '^ETag: ' \
+ |redo-stamp
+
+>"${3}" curl --user-agent "${UA}" "${URL}"
+
+FILETYPE=$(file --mime "${3}")
+case "${FILETYPE}" in
+ *": application/gzip; charset=binary") ;;
+ *) exit 1 ;;
+esac