From 8ce473eb3bf9150d75ff1923ef0d975de5113050 Mon Sep 17 00:00:00 2001
From: Alice BRENON <alice.brenon@ens-lyon.fr>
Date: Tue, 20 Jun 2023 15:40:29 +0200
Subject: [PATCH] Expose program name to bash scripts
---
scripts/EDdA/extract-from-source.sh | 2 +-
scripts/extract-from-source.sh | 2 +-
scripts/lib.sh | 2 ++
3 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/scripts/EDdA/extract-from-source.sh b/scripts/EDdA/extract-from-source.sh
index d3bd4f6..222870d 100755
--- a/scripts/EDdA/extract-from-source.sh
+++ b/scripts/EDdA/extract-from-source.sh
@@ -4,7 +4,7 @@ source ${0%/*}/../lib.sh
if [ "$#" != 2 ]
then
- die "${0##*/} SOURCE_DIRECTORY TARGET_DIRECTORY"
+ die "${PROG_NAME} SOURCE_DIRECTORY TARGET_DIRECTORY"
else
SOURCE="${1}"
TARGET="${2}"
diff --git a/scripts/extract-from-source.sh b/scripts/extract-from-source.sh
index c99cc55..0275b82 100755
--- a/scripts/extract-from-source.sh
+++ b/scripts/extract-from-source.sh
@@ -6,7 +6,7 @@ source ${BASE_DIR}/lib.sh
if [ "$#" != 2 ]
then
- die "${0##*/} SOURCE_DIRECTORY TARGET_DIRECTORY"
+ die "${PROG_NAME} SOURCE_DIRECTORY TARGET_DIRECTORY"
else
SOURCE="${1}"
TARGET="${2}"
diff --git a/scripts/lib.sh b/scripts/lib.sh
index 94a0897..90d8085 100644
--- a/scripts/lib.sh
+++ b/scripts/lib.sh
@@ -2,3 +2,5 @@ function die() {
printf "${1}\n"
exit 1
}
+
+PROG_NAME="${0##*/}"
--
GitLab