commit 8080459d5ec1f431b1e4a178be6767b954e196ca
parent 1bf94ee615e6224fca46b6f09848ad6a71c7fa8e
Author: lucianoiam <oss@lucianoiam.com>
Date: Fri, 18 Jun 2021 15:21:50 +0200
Mute which output in generate-ttl.sh (#292)
* Mute which output in generate-ttl.sh
* Rework bf156dd in a more efficient way
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git 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; then
function realpath() {
[[ $1 = /* ]] && echo "$1" || echo "$PWD/${1#./}"
}