diff --git a/debian/patches/rocksdb-js-source.patch b/debian/patches/rocksdb-js-source.patch new file mode 100644 index 0000000000000000000000000000000000000000..6f6d4e5b5b372e76b08231ea3174d11c1cfde7b0 --- /dev/null +++ b/debian/patches/rocksdb-js-source.patch @@ -0,0 +1,88 @@ +From ca32fc17184e4b7b2942105067f4038191a7c4d6 Mon Sep 17 00:00:00 2001 +From: faust +Date: Fri, 21 Dec 2018 14:52:03 -0800 +Subject: [PATCH] Insane line length detected (#4813) + +Summary: +Lintian, the Debian package checker complains about +insane-line-length-in-source-file. +Line length is 278 characters (>256) + +Please see here the error: +https://salsa.debian.org/mariadb-team/mariadb-10.3/-/jobs/95739 +Pull Request resolved: https://github.com/facebook/rocksdb/pull/4813 + +Differential Revision: D13539183 + +Pulled By: miasantreble + +fbshipit-source-id: 28ad31d1bf23a076b9e4fc9ff62fb0b4c63a65f6 +--- + docs/_includes/plugins/post_social_plugins.html | 9 ++++++++- + docs/_includes/plugins/twitter_follow.html | 9 ++++++++- + docs/_includes/plugins/twitter_share.html | 9 ++++++++- + docs/_includes/social_plugins.html | 9 ++++++++- + 4 files changed, 32 insertions(+), 4 deletions(-) + +--- a/storage/rocksdb/rocksdb/docs/_includes/plugins/post_social_plugins.html ++++ b/storage/rocksdb/rocksdb/docs/_includes/plugins/post_social_plugins.html +@@ -31,4 +31,11 @@ + }(document, 'script', 'facebook-jssdk')); + + +- ++ +--- a/storage/rocksdb/rocksdb/docs/_includes/plugins/twitter_follow.html ++++ b/storage/rocksdb/rocksdb/docs/_includes/plugins/twitter_follow.html +@@ -2,4 +2,11 @@ + Follow @{{ include.href }} + + +- +\ No newline at end of file ++ +--- a/storage/rocksdb/rocksdb/docs/_includes/plugins/twitter_share.html ++++ b/storage/rocksdb/rocksdb/docs/_includes/plugins/twitter_share.html +@@ -1,4 +1,11 @@ +
+ +
+- +\ No newline at end of file ++ +--- a/storage/rocksdb/rocksdb/docs/_includes/social_plugins.html ++++ b/storage/rocksdb/rocksdb/docs/_includes/social_plugins.html +@@ -21,4 +21,11 @@ + fjs.parentNode.insertBefore(js, fjs); + }(document, 'script', 'facebook-jssdk')); + +- ++ diff --git a/debian/patches/series b/debian/patches/series index 2be9309c0fc16e4d293047a96e32502f1267bb02..4e2917ca64915eb30fbaab6ebd7d5526d4d1ce03 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -17,3 +17,4 @@ Add_default_ExecStartPre_to_mariadb@.service.patch hurd.patch mips-compilation-failure-__bss_start-symbol-miss.patch stronger-openssl-1.1.0-compatible-keys.patch +rocksdb-js-source.patch