diff --git a/scripts/doc-name.sh b/scripts/doc-name.sh index 150c0fb70..5e252b768 100755 --- a/scripts/doc-name.sh +++ b/scripts/doc-name.sh @@ -1,3 +1,4 @@ +#!/usr/bin/env bash # Given a path get the name for the documentation. # ./scripts/doc-name.sh packages/sdk/server-node # Produces something like: diff --git a/scripts/package-name.sh b/scripts/package-name.sh index e443b2c7d..1827284c7 100755 --- a/scripts/package-name.sh +++ b/scripts/package-name.sh @@ -1,3 +1,4 @@ +#!/usr/bin/env bash # Given a path get the name of the package. # ./scripts/package-name.sh packages/sdk/server-node # Produces something like: diff --git a/scripts/publish-doc.sh b/scripts/publish-doc.sh index 44d885c79..46e74467f 100755 --- a/scripts/publish-doc.sh +++ b/scripts/publish-doc.sh @@ -1,3 +1,4 @@ +#!/usr/bin/env bash # Run this script like: # ./scripts/publish-doc.sh packages/sdk/node @@ -55,10 +56,10 @@ set +e while true do - + git pull origin gh-pages --no-edit # should accept the default message after_pull_sha=$(git rev-parse HEAD) - + # The first time this runs the head_sha will be empty and they will not match. # If the push fails, then we pull again, and if the SHA does not change, then # the push will not succeed. @@ -66,13 +67,13 @@ do echo "Failed to get changes. Could not publish docs." exit 1 fi - + head_sha=$after_pull_sha - + if git push; then break fi - + echo "Push failed, trying again." done diff --git a/scripts/publish.sh b/scripts/publish.sh index 597e964da..8619a6a12 100755 --- a/scripts/publish.sh +++ b/scripts/publish.sh @@ -1,3 +1,4 @@ +#!/usr/bin/env bash if $LD_RELEASE_IS_DRYRUN ; then # Dry run just pack the workspace. echo "Doing a dry run of publishing." diff --git a/scripts/replace-version.sh b/scripts/replace-version.sh index 87d2309af..1e3fd218e 100755 --- a/scripts/replace-version.sh +++ b/scripts/replace-version.sh @@ -1,3 +1,4 @@ +#!/usr/bin/env bash # Run this script like: # ./scripts/replace-version.sh packages/sdk/node