From bf156dd0ca1a5a40e4c9e6534f13064b68c8ae7d Mon Sep 17 00:00:00 2001 From: Luciano Iam Date: Fri, 18 Jun 2021 13:57:28 +0200 Subject: [PATCH] Mute which output in generate-ttl.sh --- utils/generate-ttl.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/utils/generate-ttl.sh b/utils/generate-ttl.sh index c962c9e7..9008f0a9 100755 --- a/utils/generate-ttl.sh +++ b/utils/generate-ttl.sh @@ -1,7 +1,7 @@ #!/bin/bash # function not available on some systems -if ! which realpath 2>/dev/null; then +if ! which realpath >/dev/null 2>&1; then function realpath() { [[ $1 = /* ]] && echo "$1" || echo "$PWD/${1#./}" }