From addb3e1e377d4ff6255ef8a41f3a34dd4154e0e4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?B=C3=A1rbara=20Bitarello?= Date: Mon, 4 Mar 2024 15:00:45 -0500 Subject: [PATCH] fix warning about 'user nobody' --- .Renviron | 1 + libs/header-attrs/header-attrs.js | 12 ------------ 2 files changed, 1 insertion(+), 12 deletions(-) delete mode 100644 libs/header-attrs/header-attrs.js diff --git a/.Renviron b/.Renviron index 410393a6..cd360ed5 100644 --- a/.Renviron +++ b/.Renviron @@ -1 +1,2 @@ RENV_CONFIG_WATCHDOG_ENABLED = FALSE +R_BUILD_TAR=tar diff --git a/libs/header-attrs/header-attrs.js b/libs/header-attrs/header-attrs.js deleted file mode 100644 index dd57d92e..00000000 --- a/libs/header-attrs/header-attrs.js +++ /dev/null @@ -1,12 +0,0 @@ -// Pandoc 2.9 adds attributes on both header and div. We remove the former (to -// be compatible with the behavior of Pandoc < 2.8). -document.addEventListener('DOMContentLoaded', function(e) { - var hs = document.querySelectorAll("div.section[class*='level'] > :first-child"); - var i, h, a; - for (i = 0; i < hs.length; i++) { - h = hs[i]; - if (!/^h[1-6]$/i.test(h.tagName)) continue; // it should be a header h1-h6 - a = h.attributes; - while (a.length > 0) h.removeAttribute(a[0].name); - } -});