From 5586ab90d044fc4873d7200e4b6c6d2fcbbf4448 Mon Sep 17 00:00:00 2001 From: Rob Landley Date: Tue, 25 Jul 2023 11:00:34 -0500 Subject: [PATCH] Use logpath out of $PATH if available. --- mkroot/record-commands | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/mkroot/record-commands b/mkroot/record-commands index d2b779fa..c40dd018 100755 --- a/mkroot/record-commands +++ b/mkroot/record-commands @@ -14,7 +14,10 @@ fi if [ ! -x "$WRAPDIR/logpath" ] then - mkdir -p "$WRAPDIR" && PREFIX="$WRAPDIR/" scripts/single.sh logpath || exit 1 + mkdir -p "$WRAPDIR" || exit 1 + [ -e "$(which logpath)" ] && cp -H "$(which logpath)" "$WRAPDIR/logpath" || + mkdir -p "$WRAPDIR" && PREFIX="$WRAPDIR/" scripts/single.sh logpath || + exit 1 echo "$PATH" | tr : '\n' | while read DIR do find "$DIR/" -type f,l -maxdepth 1 -executable -exec basename {} \; | \ -- 2.39.2