From 05524c5bc9c18b61060d102e0917dbeb5c28548e Mon Sep 17 00:00:00 2001 From: EsGeh Date: Thu, 23 May 2019 14:58:12 +0200 Subject: [PATCH] use curl instead of wget to download files (solves redirection errors) --- scripts/init.sh | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/scripts/init.sh b/scripts/init.sh index 7c6f889..a4b15d7 100755 --- a/scripts/init.sh +++ b/scripts/init.sh @@ -13,8 +13,11 @@ git clone https://github.com/TEIC/Stylesheets.git cd .. # download some schemata from TEI: -wget -P $BASE_DIR/schema/tei/rnc http://www.tei-c.org/Vault/P5/current/xml/tei/custom/schema/relaxng/tei_all.rnc -wget -P $BASE_DIR/schema/tei/rng http://www.tei-c.org/Vault/P5/current/xml/tei/custom/schema/relaxng/tei_all.rng -wget -P $BASE_DIR/schema/tei/odd http://www.tei-c.org/Vault/P5/current/xml/tei/odd/p5subset.xml +mkdir -p $BASE_DIR/schema/tei/rnc +mkdir -p $BASE_DIR/schema/tei/rng +mkdir -p $BASE_DIR/schema/tei/odd +curl -L http://www.tei-c.org/Vault/P5/current/xml/tei/custom/schema/relaxng/tei_all.rnc > $BASE_DIR/schema/tei/rnc/tei_all.rnc +curl -L http://www.tei-c.org/Vault/P5/current/xml/tei/custom/schema/relaxng/tei_all.rng > $BASE_DIR/schema/tei/rng/tei_all.rng +curl -L http://www.tei-c.org/Vault/P5/current/xml/tei/odd/p5subset.xml > $BASE_DIR/schema/tei/odd/p5subset.xml $(realpath $BASE_DIR)/scripts/updateOutput.sh