From db53b2366a67916ddec9e8954ed4049f6dbb7574 Mon Sep 17 00:00:00 2001
From: Tobias Schramm <tobleminer@gmail.com>
Date: Thu, 1 Nov 2018 03:17:27 +0100
Subject: [PATCH] Add patching script
[skip-ci]
---
.gitlab-ci/patch.sh | 45 +++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 45 insertions(+)
create mode 100755 .gitlab-ci/patch.sh
diff --git a/.gitlab-ci/patch.sh b/.gitlab-ci/patch.sh
new file mode 100755
index 0000000..da11aea
--- /dev/null
+++ b/.gitlab-ci/patch.sh
@@ -0,0 +1,45 @@
+#!/usr/bin/env bash
+
+set -e -o pipefail
+shopt -s nullglob
+
+unset REVERT
+
+err() {
+ ( >&2 echo $@ )
+}
+
+usage() {
+ err "${0} [ -r] <patchdir> <target>"
+ exit 1
+}
+
+while getopts "r" opt; do
+ case $opt in
+ r) REVERT=1;;
+ *) usage;;
+ esac
+done
+
+shift $((OPTIND - 1))
+
+PATCHDIR="$1"
+TARGET="$2"
+
+[ -n "$PATCHDIR" ] && [ -d "$PATCHDIR" ] || {
+ err "Patchdir '${PATCHDIR}' is not a directory"
+ usage
+}
+
+[ -n "$TARGET" ] && [ -e "$TARGET" ] || {
+ err "Target '${TARGET}' does not exist"
+ usage
+}
+
+for file in "$PATCHDIR"/*.patch; do
+ if [ -z "$REVERT" ]; then
+ patch -d "$TARGET" -p1 < "$file"
+ else
+ patch -d "$TARGET" -p1 -R < "$file"
+ fi
+done
--
GitLab