use bash builtin instead of basename
This commit is contained in:
parent
904aa642e1
commit
4bbeec2230
1 changed files with 1 additions and 1 deletions
|
|
@ -9,7 +9,7 @@ set -euo pipefail
|
||||||
cleanup() {
|
cleanup() {
|
||||||
local archive_name="$1"
|
local archive_name="$1"
|
||||||
rm -f "${archive_name}"*
|
rm -f "${archive_name}"*
|
||||||
log "INFO" "Cleaning up $(basename "$archive_name") remains before exit"
|
log "INFO" "Cleaning up "${archive_name##*/}" remains before exit"
|
||||||
}
|
}
|
||||||
|
|
||||||
check_input() {
|
check_input() {
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue