From 5fc2cb99600f9a6e47ed22bb56d968bda794e718 Mon Sep 17 00:00:00 2001 From: zimbatm Date: Wed, 25 Dec 2019 16:46:10 +0100 Subject: [PATCH] devcontainer: add a proper pager The image is already quite big, why not add a proper pager? --- images/devcontainer/default.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/images/devcontainer/default.nix b/images/devcontainer/default.nix index 8bd9bb5..ef5163c 100644 --- a/images/devcontainer/default.nix +++ b/images/devcontainer/default.nix @@ -15,6 +15,7 @@ , gzip , iana-etc , iproute +, less , lib , nix , openssh @@ -34,6 +35,7 @@ let procps gnugrep gnused + less # add /bin/sh bashInteractive @@ -107,7 +109,7 @@ let "ENV=/nix/var/nix/profiles/default/etc/profile.d/nix.sh" "GIT_SSL_CAINFO=/nix/var/nix/profiles/default/etc/ssl/certs/ca-bundle.crt" "LD_LIBRARY_PATH=/nix/var/nix/profiles/default/lib" - "PAGER=cat" + "PAGER=less" "PATH=/nix/var/nix/profiles/default/bin" "SSL_CERT_FILE=/nix/var/nix/profiles/default/etc/ssl/certs/ca-bundle.crt" ]