From 20b99bcaa11efb65ad9653308389bef672a4acd7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20Bauer?= Date: Thu, 27 Feb 2020 12:42:50 +0100 Subject: [PATCH] removed deletion of tmp file --- .github/lint-scripts.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/lint-scripts.sh b/.github/lint-scripts.sh index 7bf2204..954a6ae 100755 --- a/.github/lint-scripts.sh +++ b/.github/lint-scripts.sh @@ -13,5 +13,3 @@ while read -r FILE; do echo lint "${FILE}" shellcheck -x "${FILE}" done < "${TMP_FILE}" - -rm "${TMP_FILE}"