From 8978d8867ea6a6c3e8a4e3c71f5ccd0e989f9dfc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E2=80=9CRomain?= <cros.romain@gmail.com>
Date: Sun, 17 Feb 2019 07:06:19 +0100
Subject: [PATCH] devtools install_github does not work

---
 r-notebook/Dockerfile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/r-notebook/Dockerfile b/r-notebook/Dockerfile
index 267c77dc..db577081 100644
--- a/r-notebook/Dockerfile
+++ b/r-notebook/Dockerfile
@@ -28,7 +28,7 @@ RUN conda install --quiet --yes \
     'unixodbc=2.3.*' \
     'r-irkernel=0.8*' \
     'r-plyr=1.8*' \
-    'r-devtools=1.13*' \
+    'r-devtools=2.0*' \
     'r-tidyverse=1.2*' \
     'r-shiny=1.2*' \
     'r-rmarkdown=1.11*' \
@@ -46,3 +46,6 @@ RUN conda install --quiet --yes \
     'r-hexbin=1.27*' && \
     conda clean -tipsy && \
     fix-permissions $CONDA_DIR
+
+# Fix for devtools https://github.com/conda-forge/r-devtools-feedstock/issues/4
+RUN echo "TAR=/bin/tar" > $HOME/.Renviron