From e656baa7daa8b19bff1990ea3c37d437508d8c95 Mon Sep 17 00:00:00 2001 From: innovaker <66737976+innovaker@users.noreply.github.com> Date: Wed, 19 May 2021 18:59:18 +0100 Subject: [PATCH] feat(dev): set PAGER=less Requested by @mcrosson. Closes: zmkfirmware/zmk-docker#1 PR: zmkfirmware/zmk-docker#52 --- .github/workflows/containers.yml | 2 ++ Dockerfile | 1 + 2 files changed, 3 insertions(+) diff --git a/.github/workflows/containers.yml b/.github/workflows/containers.yml index a34608a..0d1358a 100644 --- a/.github/workflows/containers.yml +++ b/.github/workflows/containers.yml @@ -398,6 +398,8 @@ jobs: run: wget http://localhost:3000 - name: Test less run: less --version + - name: Test PAGER + run: pager --version && [[ $PAGER = "less" ]] && true || false - name: Test ssh run: ssh -V - name: Stop container diff --git a/Dockerfile b/Dockerfile index d252ed2..70a2788 100644 --- a/Dockerfile +++ b/Dockerfile @@ -39,6 +39,7 @@ RUN \ FROM common AS dev-generic ENV LC_ALL=C +ENV PAGER=less RUN \ apt-get -y update \