File tree Expand file tree Collapse file tree 3 files changed +8
-11
lines changed
Expand file tree Collapse file tree 3 files changed +8
-11
lines changed Original file line number Diff line number Diff line change 1414 - uses : actions/checkout@v2
1515 - run : ' bash --version | head -1'
1616 shell : bash
17- - run : echo Will read from random
17+ - run : bin/spec
1818 shell : bash
19- - run : cat /dev/random | base64 | tr -dc 'a-zA-Z0-9' | fold -w 32 | head -n 1
20- shell : bash
21- - run : echo Next read from urandom
22- shell : bash
23- - run : cat /dev/urandom | base64 | tr -dc 'a-zA-Z0-9' | fold -w 32 | head -n 1
24- shell : bash
19+ env :
20+ VERBOSE : true
21+ SHELLPEN_URANDOM : false
Original file line number Diff line number Diff line change @@ -1145,9 +1145,9 @@ shellpen() {
11451145 [ " $existingPenName " = " $penName " ] && { echo " shellpen pens new: pen already exists '$penName '" >&2 ; return 1; }
11461146 done
11471147
1148- if [ -n " $SHELLPEN_RANDOM_SOURCE " ] # This is specifically to support GitHub Actions which blocks on urandom
1148+ if [ " $SHELLPEN_URANDOM " = false ] # This is specifically to support GitHub Actions which blocks on /dev/ urandom
11491149 then
1150- local sourceId=" $( cat $SHELLPEN_RANDOM_SOURCE | base64 | tr -dc ' a-zA-Z0-9 ' | fold -w 32 | head -n 1 ) "
1150+ local sourceId=" ${RANDOM}${RANDOM}${RANDOM} "
11511151 else
11521152 local sourceId=" $( cat /dev/urandom | base64 | tr -dc ' a-zA-Z0-9' | fold -w 32 | head -n 1 ) "
11531153 fi
Original file line number Diff line number Diff line change 99 [ " $existingPenName " = " $penName " ] && { echo " !command: pen already exists '$penName '" >&2 ; return 1; }
1010done
1111
12- if [ -n " $SHELLPEN_RANDOM_SOURCE " ] # This is specifically to support GitHub Actions which blocks on urandom
12+ if [ " $SHELLPEN_URANDOM " = false ] # This is specifically to support GitHub Actions which blocks on /dev/ urandom
1313then
14- local sourceId=" $( cat $SHELLPEN_RANDOM_SOURCE | base64 | tr -dc ' a-zA-Z0-9 ' | fold -w 32 | head -n 1 ) "
14+ local sourceId=" ${RANDOM}${RANDOM}${RANDOM} "
1515else
1616 local sourceId=" $( cat /dev/urandom | base64 | tr -dc ' a-zA-Z0-9' | fold -w 32 | head -n 1 ) "
1717fi
You can’t perform that action at this time.
0 commit comments