1 files changed, 31 insertions, 0 deletions
diff --git a/scripts/re.patch.sh b/scripts/re.patch.sh
new file mode 100755
index 0000000..d1ac153
--- /dev/null
+++ b/scripts/re.patch.sh
@@ -0,0 +1,31 @@
+#!/bin/bash
+
+SCRIPT="${0}"
+KMAJOR="${1}"
+PATCHSET="/root/hardened-patchset/${KMAJOR}"
+
+if [[ -z "${KMAJOR}" ]] ; then
+	echo "Usage: ${SCRIPT} <kernel_major>"
+	exit
+fi
+
+if [[ ! -d ${PATCHSET} ]] ; then
+	echo "Patchset ${KMAJOR} doesn't exist"
+	exit
+fi
+
+for p in $(ls ${PATCHSET} | sort -r) ; do
+	if [[ ${p#0000} == $p ]] ; then
+		echo "++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++"
+		echo
+		echo $p
+		echo
+		echo "Cont?"
+		read n
+		echo
+		patch -p 1 -R < ${PATCHSET}/$p
+		echo
+		echo "++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++"
+	fi
+done
+