From 0e32ba832684c27afb5652ee425cfbd123fad457 Mon Sep 17 00:00:00 2001 From: Anne Ferger Date: Mon, 14 Nov 2022 15:44:45 +0100 Subject: [PATCH 1/2] Downloading complete source folder for MEI dev version in Dockerfile --- Dockerfile | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index 74558c2..2b7f945 100644 --- a/Dockerfile +++ b/Dockerfile @@ -188,9 +188,8 @@ RUN curl -s -L -o /tmp/mei200.zip https://github.com/music-encoding/music-encodi && git clone --depth 1 -b develop https://github.com/music-encoding/music-encoding /tmp/meidev \ && cd /tmp/meidev \ && git rev-parse HEAD > /tmp/meidev/GITHASH \ - && mkdir -p ${MEI_SOURCES_HOME}/music-encoding/meidev/customizations \ - && cp -r /tmp/meidev/customizations/* ${MEI_SOURCES_HOME}/music-encoding/meidev/customizations \ - && mkdir -p ${MEI_SOURCES_HOME}/music-encoding/meidev/source \ + && mkdir -p ${MEI_SOURCES_HOME}/music-encoding/meidev \ + && cp -r /tmp/meidev/*/* ${MEI_SOURCES_HOME}/music-encoding/meidev \ && curl -s -L -o ${MEI_SOURCES_HOME}/music-encoding/meidev/source/mei-source_canonicalized.xml https://raw.githubusercontent.com/music-encoding/schema/main/dev/mei-source_canonicalized.xml \ && rm -r /tmp/meidev From 02369c91ec10e40cea5e61976900e74e0c9535b0 Mon Sep 17 00:00:00 2001 From: Anne Ferger Date: Mon, 14 Nov 2022 17:04:24 +0100 Subject: [PATCH 2/2] fix path for meidev version --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 2b7f945..0d95b9b 100644 --- a/Dockerfile +++ b/Dockerfile @@ -189,7 +189,7 @@ RUN curl -s -L -o /tmp/mei200.zip https://github.com/music-encoding/music-encodi && cd /tmp/meidev \ && git rev-parse HEAD > /tmp/meidev/GITHASH \ && mkdir -p ${MEI_SOURCES_HOME}/music-encoding/meidev \ - && cp -r /tmp/meidev/*/* ${MEI_SOURCES_HOME}/music-encoding/meidev \ + && cp -r /tmp/meidev/* ${MEI_SOURCES_HOME}/music-encoding/meidev \ && curl -s -L -o ${MEI_SOURCES_HOME}/music-encoding/meidev/source/mei-source_canonicalized.xml https://raw.githubusercontent.com/music-encoding/schema/main/dev/mei-source_canonicalized.xml \ && rm -r /tmp/meidev