Merge changes from topic "bashisms"

[releng/builder.git] / jjb / docs / docs-post-rtd.sh

diff --git a/jjb/docs/docs-post-rtd.sh b/jjb/docs/docs-post-rtd.sh
index 7faa26f38bfed138bd457c3ce2e67c1b260f143d..6f5aa6be14c81b08f1358d2b298d054e42776425 100644 (file)
--- a/jjb/docs/docs-post-rtd.sh
+++ b/jjb/docs/docs-post-rtd.sh
@@ -1,7 +1,9 @@
-#!/bin/bash
-if [ $GERRIT_BRANCH == "master" ]; then
+#!/bin/sh
+if [ "$GERRIT_BRANCH" = "master" ]; then
     RTD_BUILD_VERSION=latest
 else
-    RTD_BUILD_VERSION=${{GERRIT_BRANCH/\//-}}
+    RTD_BUILD_VERSION=$(echo $GERRIT_BRANCH | sed 's@/@-@g')
 fi
+
+# shellcheck disable=SC1083
 curl -X POST --data "version_slug=$RTD_BUILD_VERSION" https://readthedocs.org/build/{rtdproject}