From e5ed803e16d7c5a64d6e9452c652c074a2859af0 Mon Sep 17 00:00:00 2001 From: Jonas Smedegaard Date: Wed, 24 Nov 2021 23:29:18 +0100 Subject: add script localless --- localless | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100755 localless (limited to 'localless') diff --git a/localless b/localless new file mode 100755 index 0000000..773f7a5 --- /dev/null +++ b/localless @@ -0,0 +1,38 @@ +#!/bin/sh +# +# Copyright © 2021 Jonas Smedegaard +# Description: pipe a command to less with INT signal blocked +# +# This program is free software; +# you can redistribute it and/or modify it +# under the terms of the GNU General Public License +# as published by the Free Software Foundation; +# either version 2, or (at your option) any later version. +# +# Thanks to Jakub Wilk for the trick +# +# Depends: less + +set -e + +PRG=$(basename "$0") + +showhelp() { + cat <