From a242d340f5ddcd8a8cc55a14fb844f7bc3530360 Mon Sep 17 00:00:00 2001 From: Dandelion Date: Mon, 15 Jan 2024 19:12:33 +0800 Subject: [PATCH] tiny changes --- hugegraph-server/hugegraph-dist/download_keystore.sh | 2 +- .../hugegraph-dist/{dist.sh => download_swagger_ui.sh} | 0 hugegraph-server/hugegraph-dist/pom.xml | 2 +- 3 files changed, 2 insertions(+), 2 deletions(-) rename hugegraph-server/hugegraph-dist/{dist.sh => download_swagger_ui.sh} (100%) diff --git a/hugegraph-server/hugegraph-dist/download_keystore.sh b/hugegraph-server/hugegraph-dist/download_keystore.sh index e4b34099a5..1f5521e7f3 100644 --- a/hugegraph-server/hugegraph-dist/download_keystore.sh +++ b/hugegraph-server/hugegraph-dist/download_keystore.sh @@ -22,7 +22,7 @@ curl --version >/dev/null 2>&1 || exit } -# TODO: perhaps it's necessary verify the checksum before reusing the existing tar +# TODO: perhaps it's necessary verify the checksum before reusing the existing keystore if [[ ! -f hugegraph-server.keystore ]]; then curl -s -S -L -o hugegraph-server.keystore \ https://github.com/apache/hugegraph-doc/raw/binary-1.0/dist/server/hugegraph-server.keystore || diff --git a/hugegraph-server/hugegraph-dist/dist.sh b/hugegraph-server/hugegraph-dist/download_swagger_ui.sh similarity index 100% rename from hugegraph-server/hugegraph-dist/dist.sh rename to hugegraph-server/hugegraph-dist/download_swagger_ui.sh diff --git a/hugegraph-server/hugegraph-dist/pom.xml b/hugegraph-server/hugegraph-dist/pom.xml index 435cff0cc9..36d7b05c55 100644 --- a/hugegraph-server/hugegraph-dist/pom.xml +++ b/hugegraph-server/hugegraph-dist/pom.xml @@ -187,7 +187,7 @@ - +