Skip to content

Commit 9b545ca

Browse files
georglauterbachgeorglauterbach
committed
chore: run ./bin/generate-samples.sh ./bin/configs/*.yaml
Signed-off-by: Georg Lauterbach <44545919+georglauterbach@users.noreply.github.com>
1 parent ad64d72 commit 9b545ca

266 files changed

Lines changed: 3724 additions & 4522 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎samples/client/echo_api/csharp/restsharp/net8/EchoApi/git_push.sh‎

Lines changed: 14 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -8,24 +8,24 @@ git_repo_id=$2
88
release_note=$3
99
git_host=$4
1010

11-
if [ "$git_host" = "" ]; then
11+
if [ -z "${git_host}" ]; then
1212
git_host="github.com"
13-
echo "[INFO] No command line input provided. Set \$git_host to $git_host"
13+
echo "[INFO] No command line input provided. Set \${git_host} to ${git_host}"
1414
fi
1515

16-
if [ "$git_user_id" = "" ]; then
16+
if [ -z "${git_user_id}" ]; then
1717
git_user_id="GIT_USER_ID"
18-
echo "[INFO] No command line input provided. Set \$git_user_id to $git_user_id"
18+
echo "[INFO] No command line input provided. Set \${git_user_id} to ${git_user_id}"
1919
fi
2020

21-
if [ "$git_repo_id" = "" ]; then
21+
if [ -z "${git_repo_id}" ]; then
2222
git_repo_id="GIT_REPO_ID"
23-
echo "[INFO] No command line input provided. Set \$git_repo_id to $git_repo_id"
23+
echo "[INFO] No command line input provided. Set \${git_repo_id} to ${git_repo_id}"
2424
fi
2525

26-
if [ "$release_note" = "" ]; then
26+
if [ -z "${release_note}" ]; then
2727
release_note="Minor update"
28-
echo "[INFO] No command line input provided. Set \$release_note to $release_note"
28+
echo "[INFO] No command line input provided. Set \${release_note} to ${release_note}"
2929
fi
3030

3131
# Initialize the local directory as a Git repository
@@ -35,19 +35,16 @@ git init
3535
git add .
3636

3737
# Commits the tracked changes and prepares them to be pushed to a remote repository.
38-
git commit -m "$release_note"
38+
git commit -m "${release_note}"
3939

4040
# Sets the new remote
41-
git_remote=$(git remote)
42-
if [ "$git_remote" = "" ]; then # git remote not defined
43-
44-
if [ "$GIT_TOKEN" = "" ]; then
45-
echo "[INFO] \$GIT_TOKEN (environment variable) is not set. Using the git credential in your environment."
46-
git remote add origin https://${git_host}/${git_user_id}/${git_repo_id}.git
41+
if [ -z "$(git remote)" ]; then # git remote not defined
42+
if [ -z "${GIT_TOKEN:-}" ]; then
43+
echo "[INFO] \${GIT_TOKEN} (environment variable) is not set. Using the git credential in your environment."
44+
git remote add origin "https://${git_host}/${git_user_id}/${git_repo_id}.git"
4745
else
48-
git remote add origin https://${git_user_id}:"${GIT_TOKEN}"@${git_host}/${git_user_id}/${git_repo_id}.git
46+
git remote add origin "https://${git_user_id}:${GIT_TOKEN:-}@${git_host}/${git_user_id}/${git_repo_id}.git"
4947
fi
50-
5148
fi
5249

5350
git pull origin master

‎samples/client/echo_api/go-external-refs/git_push.sh‎

Lines changed: 14 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -8,24 +8,24 @@ git_repo_id=$2
88
release_note=$3
99
git_host=$4
1010

11-
if [ "$git_host" = "" ]; then
11+
if [ -z "${git_host}" ]; then
1212
git_host="github.com"
13-
echo "[INFO] No command line input provided. Set \$git_host to $git_host"
13+
echo "[INFO] No command line input provided. Set \${git_host} to ${git_host}"
1414
fi
1515

16-
if [ "$git_user_id" = "" ]; then
16+
if [ -z "${git_user_id}" ]; then
1717
git_user_id="GIT_USER_ID"
18-
echo "[INFO] No command line input provided. Set \$git_user_id to $git_user_id"
18+
echo "[INFO] No command line input provided. Set \${git_user_id} to ${git_user_id}"
1919
fi
2020

21-
if [ "$git_repo_id" = "" ]; then
21+
if [ -z "${git_repo_id}" ]; then
2222
git_repo_id="GIT_REPO_ID"
23-
echo "[INFO] No command line input provided. Set \$git_repo_id to $git_repo_id"
23+
echo "[INFO] No command line input provided. Set \${git_repo_id} to ${git_repo_id}"
2424
fi
2525

26-
if [ "$release_note" = "" ]; then
26+
if [ -z "${release_note}" ]; then
2727
release_note="Minor update"
28-
echo "[INFO] No command line input provided. Set \$release_note to $release_note"
28+
echo "[INFO] No command line input provided. Set \${release_note} to ${release_note}"
2929
fi
3030

3131
# Initialize the local directory as a Git repository
@@ -35,19 +35,16 @@ git init
3535
git add .
3636

3737
# Commits the tracked changes and prepares them to be pushed to a remote repository.
38-
git commit -m "$release_note"
38+
git commit -m "${release_note}"
3939

4040
# Sets the new remote
41-
git_remote=$(git remote)
42-
if [ "$git_remote" = "" ]; then # git remote not defined
43-
44-
if [ "$GIT_TOKEN" = "" ]; then
45-
echo "[INFO] \$GIT_TOKEN (environment variable) is not set. Using the git credential in your environment."
46-
git remote add origin https://${git_host}/${git_user_id}/${git_repo_id}.git
41+
if [ -z "$(git remote)" ]; then # git remote not defined
42+
if [ -z "${GIT_TOKEN:-}" ]; then
43+
echo "[INFO] \${GIT_TOKEN} (environment variable) is not set. Using the git credential in your environment."
44+
git remote add origin "https://${git_host}/${git_user_id}/${git_repo_id}.git"
4745
else
48-
git remote add origin https://${git_user_id}:"${GIT_TOKEN}"@${git_host}/${git_user_id}/${git_repo_id}.git
46+
git remote add origin "https://${git_user_id}:${GIT_TOKEN:-}@${git_host}/${git_user_id}/${git_repo_id}.git"
4947
fi
50-
5148
fi
5249

5350
git pull origin master

‎samples/client/echo_api/go/git_push.sh‎

Lines changed: 14 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -8,24 +8,24 @@ git_repo_id=$2
88
release_note=$3
99
git_host=$4
1010

11-
if [ "$git_host" = "" ]; then
11+
if [ -z "${git_host}" ]; then
1212
git_host="github.com"
13-
echo "[INFO] No command line input provided. Set \$git_host to $git_host"
13+
echo "[INFO] No command line input provided. Set \${git_host} to ${git_host}"
1414
fi
1515

16-
if [ "$git_user_id" = "" ]; then
16+
if [ -z "${git_user_id}" ]; then
1717
git_user_id="GIT_USER_ID"
18-
echo "[INFO] No command line input provided. Set \$git_user_id to $git_user_id"
18+
echo "[INFO] No command line input provided. Set \${git_user_id} to ${git_user_id}"
1919
fi
2020

21-
if [ "$git_repo_id" = "" ]; then
21+
if [ -z "${git_repo_id}" ]; then
2222
git_repo_id="GIT_REPO_ID"
23-
echo "[INFO] No command line input provided. Set \$git_repo_id to $git_repo_id"
23+
echo "[INFO] No command line input provided. Set \${git_repo_id} to ${git_repo_id}"
2424
fi
2525

26-
if [ "$release_note" = "" ]; then
26+
if [ -z "${release_note}" ]; then
2727
release_note="Minor update"
28-
echo "[INFO] No command line input provided. Set \$release_note to $release_note"
28+
echo "[INFO] No command line input provided. Set \${release_note} to ${release_note}"
2929
fi
3030

3131
# Initialize the local directory as a Git repository
@@ -35,19 +35,16 @@ git init
3535
git add .
3636

3737
# Commits the tracked changes and prepares them to be pushed to a remote repository.
38-
git commit -m "$release_note"
38+
git commit -m "${release_note}"
3939

4040
# Sets the new remote
41-
git_remote=$(git remote)
42-
if [ "$git_remote" = "" ]; then # git remote not defined
43-
44-
if [ "$GIT_TOKEN" = "" ]; then
45-
echo "[INFO] \$GIT_TOKEN (environment variable) is not set. Using the git credential in your environment."
46-
git remote add origin https://${git_host}/${git_user_id}/${git_repo_id}.git
41+
if [ -z "$(git remote)" ]; then # git remote not defined
42+
if [ -z "${GIT_TOKEN:-}" ]; then
43+
echo "[INFO] \${GIT_TOKEN} (environment variable) is not set. Using the git credential in your environment."
44+
git remote add origin "https://${git_host}/${git_user_id}/${git_repo_id}.git"
4745
else
48-
git remote add origin https://${git_user_id}:"${GIT_TOKEN}"@${git_host}/${git_user_id}/${git_repo_id}.git
46+
git remote add origin "https://${git_user_id}:${GIT_TOKEN:-}@${git_host}/${git_user_id}/${git_repo_id}.git"
4947
fi
50-
5148
fi
5249

5350
git pull origin master

‎samples/client/echo_api/java/apache-httpclient/git_push.sh‎

Lines changed: 14 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -8,24 +8,24 @@ git_repo_id=$2
88
release_note=$3
99
git_host=$4
1010

11-
if [ "$git_host" = "" ]; then
11+
if [ -z "${git_host}" ]; then
1212
git_host="github.com"
13-
echo "[INFO] No command line input provided. Set \$git_host to $git_host"
13+
echo "[INFO] No command line input provided. Set \${git_host} to ${git_host}"
1414
fi
1515

16-
if [ "$git_user_id" = "" ]; then
16+
if [ -z "${git_user_id}" ]; then
1717
git_user_id="GIT_USER_ID"
18-
echo "[INFO] No command line input provided. Set \$git_user_id to $git_user_id"
18+
echo "[INFO] No command line input provided. Set \${git_user_id} to ${git_user_id}"
1919
fi
2020

21-
if [ "$git_repo_id" = "" ]; then
21+
if [ -z "${git_repo_id}" ]; then
2222
git_repo_id="GIT_REPO_ID"
23-
echo "[INFO] No command line input provided. Set \$git_repo_id to $git_repo_id"
23+
echo "[INFO] No command line input provided. Set \${git_repo_id} to ${git_repo_id}"
2424
fi
2525

26-
if [ "$release_note" = "" ]; then
26+
if [ -z "${release_note}" ]; then
2727
release_note="Minor update"
28-
echo "[INFO] No command line input provided. Set \$release_note to $release_note"
28+
echo "[INFO] No command line input provided. Set \${release_note} to ${release_note}"
2929
fi
3030

3131
# Initialize the local directory as a Git repository
@@ -35,19 +35,16 @@ git init
3535
git add .
3636

3737
# Commits the tracked changes and prepares them to be pushed to a remote repository.
38-
git commit -m "$release_note"
38+
git commit -m "${release_note}"
3939

4040
# Sets the new remote
41-
git_remote=$(git remote)
42-
if [ "$git_remote" = "" ]; then # git remote not defined
43-
44-
if [ "$GIT_TOKEN" = "" ]; then
45-
echo "[INFO] \$GIT_TOKEN (environment variable) is not set. Using the git credential in your environment."
46-
git remote add origin https://${git_host}/${git_user_id}/${git_repo_id}.git
41+
if [ -z "$(git remote)" ]; then # git remote not defined
42+
if [ -z "${GIT_TOKEN:-}" ]; then
43+
echo "[INFO] \${GIT_TOKEN} (environment variable) is not set. Using the git credential in your environment."
44+
git remote add origin "https://${git_host}/${git_user_id}/${git_repo_id}.git"
4745
else
48-
git remote add origin https://${git_user_id}:"${GIT_TOKEN}"@${git_host}/${git_user_id}/${git_repo_id}.git
46+
git remote add origin "https://${git_user_id}:${GIT_TOKEN:-}@${git_host}/${git_user_id}/${git_repo_id}.git"
4947
fi
50-
5148
fi
5249

5350
git pull origin master

‎samples/client/echo_api/java/feign-gson/git_push.sh‎

Lines changed: 14 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -8,24 +8,24 @@ git_repo_id=$2
88
release_note=$3
99
git_host=$4
1010

11-
if [ "$git_host" = "" ]; then
11+
if [ -z "${git_host}" ]; then
1212
git_host="github.com"
13-
echo "[INFO] No command line input provided. Set \$git_host to $git_host"
13+
echo "[INFO] No command line input provided. Set \${git_host} to ${git_host}"
1414
fi
1515

16-
if [ "$git_user_id" = "" ]; then
16+
if [ -z "${git_user_id}" ]; then
1717
git_user_id="GIT_USER_ID"
18-
echo "[INFO] No command line input provided. Set \$git_user_id to $git_user_id"
18+
echo "[INFO] No command line input provided. Set \${git_user_id} to ${git_user_id}"
1919
fi
2020

21-
if [ "$git_repo_id" = "" ]; then
21+
if [ -z "${git_repo_id}" ]; then
2222
git_repo_id="GIT_REPO_ID"
23-
echo "[INFO] No command line input provided. Set \$git_repo_id to $git_repo_id"
23+
echo "[INFO] No command line input provided. Set \${git_repo_id} to ${git_repo_id}"
2424
fi
2525

26-
if [ "$release_note" = "" ]; then
26+
if [ -z "${release_note}" ]; then
2727
release_note="Minor update"
28-
echo "[INFO] No command line input provided. Set \$release_note to $release_note"
28+
echo "[INFO] No command line input provided. Set \${release_note} to ${release_note}"
2929
fi
3030

3131
# Initialize the local directory as a Git repository
@@ -35,19 +35,16 @@ git init
3535
git add .
3636

3737
# Commits the tracked changes and prepares them to be pushed to a remote repository.
38-
git commit -m "$release_note"
38+
git commit -m "${release_note}"
3939

4040
# Sets the new remote
41-
git_remote=$(git remote)
42-
if [ "$git_remote" = "" ]; then # git remote not defined
43-
44-
if [ "$GIT_TOKEN" = "" ]; then
45-
echo "[INFO] \$GIT_TOKEN (environment variable) is not set. Using the git credential in your environment."
46-
git remote add origin https://${git_host}/${git_user_id}/${git_repo_id}.git
41+
if [ -z "$(git remote)" ]; then # git remote not defined
42+
if [ -z "${GIT_TOKEN:-}" ]; then
43+
echo "[INFO] \${GIT_TOKEN} (environment variable) is not set. Using the git credential in your environment."
44+
git remote add origin "https://${git_host}/${git_user_id}/${git_repo_id}.git"
4745
else
48-
git remote add origin https://${git_user_id}:"${GIT_TOKEN}"@${git_host}/${git_user_id}/${git_repo_id}.git
46+
git remote add origin "https://${git_user_id}:${GIT_TOKEN:-}@${git_host}/${git_user_id}/${git_repo_id}.git"
4947
fi
50-
5148
fi
5249

5350
git pull origin master

‎samples/client/echo_api/java/native/git_push.sh‎

Lines changed: 14 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -8,24 +8,24 @@ git_repo_id=$2
88
release_note=$3
99
git_host=$4
1010

11-
if [ "$git_host" = "" ]; then
11+
if [ -z "${git_host}" ]; then
1212
git_host="github.com"
13-
echo "[INFO] No command line input provided. Set \$git_host to $git_host"
13+
echo "[INFO] No command line input provided. Set \${git_host} to ${git_host}"
1414
fi
1515

16-
if [ "$git_user_id" = "" ]; then
16+
if [ -z "${git_user_id}" ]; then
1717
git_user_id="GIT_USER_ID"
18-
echo "[INFO] No command line input provided. Set \$git_user_id to $git_user_id"
18+
echo "[INFO] No command line input provided. Set \${git_user_id} to ${git_user_id}"
1919
fi
2020

21-
if [ "$git_repo_id" = "" ]; then
21+
if [ -z "${git_repo_id}" ]; then
2222
git_repo_id="GIT_REPO_ID"
23-
echo "[INFO] No command line input provided. Set \$git_repo_id to $git_repo_id"
23+
echo "[INFO] No command line input provided. Set \${git_repo_id} to ${git_repo_id}"
2424
fi
2525

26-
if [ "$release_note" = "" ]; then
26+
if [ -z "${release_note}" ]; then
2727
release_note="Minor update"
28-
echo "[INFO] No command line input provided. Set \$release_note to $release_note"
28+
echo "[INFO] No command line input provided. Set \${release_note} to ${release_note}"
2929
fi
3030

3131
# Initialize the local directory as a Git repository
@@ -35,19 +35,16 @@ git init
3535
git add .
3636

3737
# Commits the tracked changes and prepares them to be pushed to a remote repository.
38-
git commit -m "$release_note"
38+
git commit -m "${release_note}"
3939

4040
# Sets the new remote
41-
git_remote=$(git remote)
42-
if [ "$git_remote" = "" ]; then # git remote not defined
43-
44-
if [ "$GIT_TOKEN" = "" ]; then
45-
echo "[INFO] \$GIT_TOKEN (environment variable) is not set. Using the git credential in your environment."
46-
git remote add origin https://${git_host}/${git_user_id}/${git_repo_id}.git
41+
if [ -z "$(git remote)" ]; then # git remote not defined
42+
if [ -z "${GIT_TOKEN:-}" ]; then
43+
echo "[INFO] \${GIT_TOKEN} (environment variable) is not set. Using the git credential in your environment."
44+
git remote add origin "https://${git_host}/${git_user_id}/${git_repo_id}.git"
4745
else
48-
git remote add origin https://${git_user_id}:"${GIT_TOKEN}"@${git_host}/${git_user_id}/${git_repo_id}.git
46+
git remote add origin "https://${git_user_id}:${GIT_TOKEN:-}@${git_host}/${git_user_id}/${git_repo_id}.git"
4947
fi
50-
5148
fi
5249

5350
git pull origin master

0 commit comments

Comments
 (0)