diff options
author | Robert Alessi <alessi@robertalessi.net> | 2024-03-28 14:23:55 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2024-03-28 14:23:55 +0100 |
commit | b72fc627eb5200eb39b0c8f3f3ccb92a57eeb806 (patch) | |
tree | 90851db8042b93baa14512320b325b179ea3c97d /tlobsd | |
parent | c69d8bd12f63d8b739bf5bb8f3baf5d234c1842a (diff) | |
download | texlive-openbsd-b72fc627eb5200eb39b0c8f3f3ccb92a57eeb806.tar.gz |
tlobsd use basename to recall its name
Diffstat (limited to 'tlobsd')
-rw-r--r-- | tlobsd | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -13,8 +13,8 @@ elif [[ $1 == "mksymlinks" ]];then | |||
13 | tlobsd-mksymlinks $2 | 13 | tlobsd-mksymlinks $2 |
14 | # something that is unknown to tlobsd | 14 | # something that is unknown to tlobsd |
15 | else | 15 | else |
16 | echo "$1 is not known to $0. You should use:" | 16 | echo "$1 is not known to $(basename $0). You should use:" |
17 | echo "--> ${cmd}" | 17 | echo "--> ${cmd}" |
18 | echo "instead of:" | 18 | echo "instead of:" |
19 | echo "--> $0 ${cmd}" | 19 | echo "--> $(basename $0) ${cmd}" |
20 | fi | 20 | fi |