This repository was archived by the owner on May 15, 2025. It is now read-only.
File tree Expand file tree Collapse file tree 1 file changed +20
-8
lines changed Expand file tree Collapse file tree 1 file changed +20
-8
lines changed Original file line number Diff line number Diff line change 3
3
set -e
4
4
5
5
if [ -z " $CODER_ACCESS_URL " ]; then
6
- echo " CODER_ACCESS_URL is empty!"
7
- exit 1
6
+ if [ -z " ${CODER_ACCESS_URL} " ]; then
7
+ echo " CODER_ACCESS_URL is empty!"
8
+ exit 1
9
+ fi
10
+ CODER_ACCESS_URL=${CODER_ACCESS_URL}
8
11
fi
9
12
10
13
if [ -z " $CODER_OWNER_SESSION_TOKEN " ]; then
11
- echo " CODER_OWNER_SESSION_TOKEN is empty!"
12
- exit 1
14
+ if [ -z " ${CODER_OWNER_SESSION_TOKEN} " ]; then
15
+ echo " CODER_OWNER_SESSION_TOKEN is empty!"
16
+ exit 1
17
+ fi
18
+ CODER_OWNER_SESSION_TOKEN=${CODER_OWNER_SESSION_TOKEN}
13
19
fi
14
20
15
21
if [ -z " $CODER_EXTERNAL_AUTH_ID " ]; then
16
- echo " CODER_EXTERNAL_AUTH_ID is empty!"
17
- exit 1
22
+ if [ -z " ${CODER_EXTERNAL_AUTH_ID} " ]; then
23
+ echo " CODER_EXTERNAL_AUTH_ID is empty!"
24
+ exit 1
25
+ fi
26
+ CODER_EXTERNAL_AUTH_ID=${CODER_EXTERNAL_AUTH_ID}
18
27
fi
19
28
20
29
if [ -z " $GITHUB_API_URL " ]; then
21
- echo " GITHUB_API_URL is empty!"
22
- exit 1
30
+ if [ -z " ${GITHUB_API_URL} " ]; then
31
+ echo " GITHUB_API_URL is empty!"
32
+ exit 1
33
+ fi
34
+ GITHUB_API_URL=${GITHUB_API_URL}
23
35
fi
24
36
25
37
echo " Fetching GitHub token..."
You can’t perform that action at this time.
0 commit comments