From 322e98ac0d58a1046ee6d0a0daa707bcdb37c52e Mon Sep 17 00:00:00 2001
From: Lorenz <lorenz.walthert@icloud.com>
Date: Mon, 15 Feb 2021 18:29:51 +0100
Subject: [PATCH] add empty library directory

---
 testing/get-renv.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/testing/get-renv.sh b/testing/get-renv.sh
index 3349b8bda..eb75d293e 100755
--- a/testing/get-renv.sh
+++ b/testing/get-renv.sh
@@ -1,2 +1,9 @@
 #!/usr/bin/env bash
 sudo apt install r-base
+# create empty folder for user library.
+# necessary for non-root users who have
+# never installed an R package before.
+# Alternatively, we require the renv
+# package to be installed already, then we can
+# omit that.
+Rscript -e 'dir.create(Sys.getenv("R_LIBS_USER"))'