Update _updatePublisher.bat

This commit is contained in:
José Costa Teixeira 2020-03-26 17:20:43 +01:00
parent f6546ef566
commit 7e3fd1c649

View File

@ -3,6 +3,15 @@ SET dlurl=https://fhir.github.io/latest-ig-publisher/org.hl7.fhir.publisher.jar
SET publisher_jar=org.hl7.fhir.publisher.jar SET publisher_jar=org.hl7.fhir.publisher.jar
SET input_cache_path=%CD%\input-cache\ SET input_cache_path=%CD%\input-cache\
set update_bat_url=https://raw.githubusercontent.com/HL7/ig-template-base/master/launch/_updatePublisher.bat
set gen_bat_url=https://raw.githubusercontent.com/HL7/ig-template-base/master/launch/_genonce.bat
set gencont_bat_url=https://raw.githubusercontent.com/HL7/ig-template-base/master/launch/_gencontinuous.bat
set gencont_sh_url=https://raw.githubusercontent.com/HL7/ig-template-base/master/launch/_gencontinuous.sh
set gen_sh_url=https://raw.githubusercontent.com/HL7/ig-template-base/master/launch/_genonce.sh
set update_sh_url=https://raw.githubusercontent.com/HL7/ig-template-base/master/launch/_updatePublisher.sh
FOR %%x IN ("%CD%") DO SET upper_path=%%~dpx FOR %%x IN ("%CD%") DO SET upper_path=%%~dpx
IF NOT EXIST "%input_cache_path%%publisher_jar%" ( IF NOT EXIST "%input_cache_path%%publisher_jar%" (
@ -70,4 +79,22 @@ ECHO This script does not yet support Windows %winver%. Please ask for help on
GOTO done GOTO done
:done :done
REM Download all batch files (and this one with a new name)
SETLOCAL DisableDelayedExpansion
POWERSHELL -command if ('System.Net.WebClient' -as [type]) {(new-object System.Net.WebClient).DownloadFile(\"%update_bat_url%\",\"_updatePublisher.new.bat\") } else { Invoke-WebRequest -Uri "%update_bat_url%" -Outfile "_updatePublisher.new.bat" }
POWERSHELL -command if ('System.Net.WebClient' -as [type]) {(new-object System.Net.WebClient).DownloadFile(\"%gen_bat_url%\",\"_genonce.bat\") } else { Invoke-WebRequest -Uri "%gen_bat_url%" -Outfile "_genonce.bat" }
POWERSHELL -command if ('System.Net.WebClient' -as [type]) {(new-object System.Net.WebClient).DownloadFile(\"%gencont_bat_url%\",\"_gencontinuous.bat\") } else { Invoke-WebRequest -Uri "%gencont_bat_url%" -Outfile "_gencontinuous.bat" }
POWERSHELL -command if ('System.Net.WebClient' -as [type]) {(new-object System.Net.WebClient).DownloadFile(\"%update_sh_url%\",\"_updatePublisher.sh\") } else { Invoke-WebRequest -Uri "%update_sh_url%" -Outfile "_updatePublisher.sh" }
POWERSHELL -command if ('System.Net.WebClient' -as [type]) {(new-object System.Net.WebClient).DownloadFile(\"%gen_sh_url%\",\"_genonce.sh\") } else { Invoke-WebRequest -Uri "%gen_sh_url%" -Outfile "_genonce.sh" }
POWERSHELL -command if ('System.Net.WebClient' -as [type]) {(new-object System.Net.WebClient).DownloadFile(\"%gencont_sh_url%\",\"_gencontinuous.sh\") } else { Invoke-WebRequest -Uri "%gencont_sh_url%" -Outfile "_gencontinuous.sh" }
REM update this file from the downloaded copy
ECHO Updating this file...
start copy /y "_updatePublisher.new.bat" "_updatePublisher.bat" ^&^& del "_updatePublisher.new.bat" ^&^& exit
PAUSE PAUSE