From 87ab0df531fba8f80622d38d30962647c5a583e3 Mon Sep 17 00:00:00 2001
From: Adar Nimrod <nimrod@shore.co.il>
Date: Thu, 28 Dec 2017 16:37:08 +0200
Subject: [PATCH] A little cleaner.
---
Documents/bin/wrapper | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Documents/bin/wrapper b/Documents/bin/wrapper
index a51cd36..a54f983 100755
--- a/Documents/bin/wrapper
+++ b/Documents/bin/wrapper
@@ -2,7 +2,7 @@
set -eu
basename="$(basename "$0")"
-command="$(env -i sh -c "command -v $basename")" || { echo "$basename: not found"; exit 127; }
+command="$(command -pv "$basename")" || { echo "$basename: not found"; exit 127; }
if alias="$(command -v "$basename-${1:-}")"
then
shift
--
GitLab