From d353cee6346ff1c1dfb5bbfb2250649090ddbd64 Mon Sep 17 00:00:00 2001
From: Greg Lin <glin@rstudio.com>
Date: Fri, 3 May 2019 15:30:24 -0500
Subject: [PATCH] Set PAGER for Ubuntu and Debian only

/usr/bin/pager is specific to Debian/Ubuntu. For other OSs, use the default
pager detected by the configure script, which will either be less or more.

See https://github.com/rstudio/r-builds/issues/3
---
 builder/Dockerfile.debian-9    | 3 +++
 builder/Dockerfile.ubuntu-1604 | 3 +++
 builder/Dockerfile.ubuntu-1804 | 3 +++
 builder/build.sh               | 1 -
 4 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/builder/Dockerfile.debian-9 b/builder/Dockerfile.debian-9
index ee81ede..57ce5a7 100644
--- a/builder/Dockerfile.debian-9
+++ b/builder/Dockerfile.debian-9
@@ -13,5 +13,8 @@ RUN pip install awscli
 
 RUN chmod 0777 /opt
 
+# Override the default pager used by R
+ENV PAGER /usr/bin/pager
+
 COPY build.sh .
 ENTRYPOINT ./build.sh
diff --git a/builder/Dockerfile.ubuntu-1604 b/builder/Dockerfile.ubuntu-1604
index 4f0e410..3c88ba1 100644
--- a/builder/Dockerfile.ubuntu-1604
+++ b/builder/Dockerfile.ubuntu-1604
@@ -13,5 +13,8 @@ RUN pip install awscli
 
 RUN chmod 0777 /opt
 
+# Override the default pager used by R
+ENV PAGER /usr/bin/pager
+
 COPY build.sh .
 ENTRYPOINT ./build.sh
diff --git a/builder/Dockerfile.ubuntu-1804 b/builder/Dockerfile.ubuntu-1804
index 8d9039c..2bb5ca9 100644
--- a/builder/Dockerfile.ubuntu-1804
+++ b/builder/Dockerfile.ubuntu-1804
@@ -13,5 +13,8 @@ RUN pip install awscli
 
 RUN chmod 0777 /opt
 
+# Override the default pager used by R
+ENV PAGER /usr/bin/pager
+
 COPY build.sh .
 ENTRYPOINT ./build.sh
diff --git a/builder/build.sh b/builder/build.sh
index c53f5fc..123d6e5 100755
--- a/builder/build.sh
+++ b/builder/build.sh
@@ -73,7 +73,6 @@ compile_r() {
   # set some common environment variables for the configure step
   AWK=/usr/bin/awk \
   LIBnn=lib \
-  PAGER=/usr/bin/pager \
   PERL=/usr/bin/perl \
   R_PDFVIEWER=xdg-open \
   R_BROWSER=xdg-open \