basename $0→${0##*/}

Olf0 · Apr 30, 2023 · 6965083 · 6965083
1 parent 9a93222
commit 6965083
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/tidy_log-dupes b/bin/tidy_log-dupes
@@ -29,7 +29,7 @@ export POSIXLY_CORRECT=1  # Can have side-effects, see e.g., https://github.com/
 # 124     : Error parsing parameters
 # 126     : Help called
 
-called="$(basename "$0")"
+called="${0##*/}"
 retc=0
 if [ -z "$*" ]
 then logdir=/var/log