From a5fb3dcb53271e7b40f9589cfd2105e1f4dcb30a Mon Sep 17 00:00:00 2001 From: Ben Peddell Date: Sun, 18 Jul 2021 12:38:06 +1000 Subject: [PATCH] Copy map file case insensitively --- tools/arkmanager | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/arkmanager b/tools/arkmanager index 46d9072..1babd4c 100755 --- a/tools/arkmanager +++ b/tools/arkmanager @@ -3026,11 +3026,13 @@ doBackup(){ echo "${NORMAL}\e[68G[ ${YELLOW}WARN${NORMAL} ]" logprint "Saved ark file not found, but temporary file was" else - echo "${NORMAL}\e[68G[ ${RED}FAILED${NORMAL} ]" cimapfile="$(find "${savedir}" -maxdepth 1 -iname "${mapname}.ark" -or -iname "${mapname}.tmp" | head -n1)" if [ -n "${cimapfile}" ]; then + echo "${NORMAL}\e[68G[ ${YELLOW}WARN${NORMAL} ]" logprint "Inconsistent casing in map name - ${mapname}.ark does not exist, but ${cimapfile##*/} does" + cp -p "${cimapfile}" "${backupdir}/${mapname}.ark" else + echo "${NORMAL}\e[68G[ ${RED}FAILED${NORMAL} ]" logprint "Saved ark file could not be found" logprint "Candidates:" for f in "${savedir}"/*.ark; do