From 60782208ac11d16405c32a7bc2225e7a2759f3b9 Mon Sep 17 00:00:00 2001 From: Frank Steinberg <steinberg@ibr.cs.tu-bs.de> Date: Mon, 21 Oct 2019 09:12:46 +0200 Subject: [PATCH] Fix for install-home target. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 29aca7c..427f758 100644 --- a/Makefile +++ b/Makefile @@ -102,7 +102,7 @@ apply: translate: cache/bjcp-2015-styleguide-de-auto.xml cache/bjcp-2015-styleguide-de-auto.xml: - if [ "$$GOOGLE_APPLICATION_CREDENTIALS" ] ; then cat bjcp-2015-styleguide-orig.xml | ./translate | xmllint --format - > cache/bjcp-2015-styleguide-de-auto.xml ; else curl -s https://familie-steinberg.org/bjcp-styleguide/bjcp-2015-styleguide-de-auto.xml > cache/bjcp-2015-styleguide-de-auto.xml ; fi + if [ "$$GOOGLE_APPLICATION_CREDENTIALS" ] ; then cat bjcp-2015-styleguide-orig.xml | ./translate | xmllint --format - > cache/bjcp-2015-styleguide-de-auto.xml ; else if [ `hostname` != "zbox" ; then curl -s https://familie-steinberg.org/bjcp-styleguide/bjcp-2015-styleguide-de-auto.xml > cache/bjcp-2015-styleguide-de-auto.xml ; fi ; fi delete-glossary: curl -X DELETE -H "Authorization: Bearer "`gcloud auth application-default print-access-token` https://translation.googleapis.com/v3beta1/projects/$(PROJECTID)/locations/$(LOCATION)/glossaries/$(GLOSSARYID) -- GitLab