From a9933bd8bdc20cbebeead97f6829d22d344a2308 Mon Sep 17 00:00:00 2001 From: Wouter Born Date: Mon, 23 Apr 2018 00:54:42 +0200 Subject: [PATCH] [update-external-resources.sh] Fix README.md case sensitivity (#669) Fix README.md file not found when running update-external-resources.sh on case sensitive file systems (#669) Signed-off-by: Wouter Born --- process_addons.groovy | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/process_addons.groovy b/process_addons.groovy index 069dd9bf2..b6f937720 100644 --- a/process_addons.groovy +++ b/process_addons.groovy @@ -43,8 +43,9 @@ def process_addon_type = { features, sources, type, collection, suffix, lblremov if (! readme.exists()) { log.warn("No README.md found.") } else { - readme.renameTo(new File(simpleNameDir.path, 'readme.md')) - //println readme + def readmeLowerCase = new File(simpleNameDir.path, 'readme.md') + readme.renameTo(readmeLowerCase) + readme = readmeLowerCase def label = readme.readLines().find{it.startsWith('#')} if (label == null) { log.warn("No level 1 header found.")