From 6c7bc70bd5104752a814aaeb60317dc1aeb10aa0 Mon Sep 17 00:00:00 2001 From: VlkrS <47375452+VlkrS@users.noreply.github.com> Date: Tue, 15 Aug 2023 18:38:33 +0200 Subject: [PATCH 1/2] ug+: Use /bin/sh ug+ uses no bash specific features and is a valid posix sh script. This improves portability to platforms that do not have a bash under /bin/ --- bin/ug+ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/ug+ b/bin/ug+ index 5f1f1070..e6d5c3bd 100755 --- a/bin/ug+ +++ b/bin/ug+ @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh filters= if [ -x "$(command -v pdftotext)" ] && pdftotext --help 2>&1 | ugrep -qw Poppler ; then filters="${filters}${filters:+,}pdf:pdftotext % -" From 4059d683d17ac27d7b86d58aeaee4a3b31dfe8f0 Mon Sep 17 00:00:00 2001 From: VlkrS <47375452+VlkrS@users.noreply.github.com> Date: Tue, 15 Aug 2023 18:40:01 +0200 Subject: [PATCH 2/2] ugrep+ : Use /bin/sh ugrep+ uses no bash specific features and is a valid posix sh script. This improves portability to platforms that do not have a bash under /bin/ --- bin/ugrep+ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/ugrep+ b/bin/ugrep+ index 3ae7a4d3..5567dbb5 100755 --- a/bin/ugrep+ +++ b/bin/ugrep+ @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh filters= if [ -x "$(command -v pdftotext)" ] && pdftotext --help 2>&1 | ugrep -qw Poppler ; then filters="${filters}${filters:+,}pdf:pdftotext % -"