Merge pull request #10869 from lucendio/patch-1

Fix broken rmdir script
This commit is contained in:
Markus Reiter 2021-03-17 02:07:25 +01:00 committed by GitHub
commit e8db1a3921
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -111,6 +111,10 @@ module Cask
set -euo pipefail set -euo pipefail
for path in "${@}"; do for path in "${@}"; do
if [[ ! -e "${path}" ]]; then
continue
fi
if [[ -e "${path}/.DS_Store" ]]; then if [[ -e "${path}/.DS_Store" ]]; then
/bin/rm -f "${path}/.DS_Store" /bin/rm -f "${path}/.DS_Store"
fi fi