From 394e87806c125889fca9c4c21e74ae7e38a59318 Mon Sep 17 00:00:00 2001 From: Tom Wiesing Date: Thu, 8 Oct 2020 15:07:06 +0200 Subject: [PATCH] Add patch_easyrdf.sh --- distillery/utils/patch_easyrdf.sh | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100755 distillery/utils/patch_easyrdf.sh diff --git a/distillery/utils/patch_easyrdf.sh b/distillery/utils/patch_easyrdf.sh new file mode 100755 index 0000000..446c1eb --- /dev/null +++ b/distillery/utils/patch_easyrdf.sh @@ -0,0 +1,6 @@ +#!/bin/sh + +# This script can be used to repatch EasyRDF when needed. +cd /var/www/data/project/web/modules/contrib/wisski || exit 1 +EASYRDF_RESPONSE="./vendor/easyrdf/easyrdf/lib/EasyRdf/Http/Response.php" +patch -N "$EASYRDF_RESPONSE" < "/patch/easyrdf.patch" \ No newline at end of file