diff options
| author | George Rodrigues <georgerodrigues@live.com.au> | 2022-10-05 13:32:07 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-05 17:32:07 +0100 |
| commit | 959f4cbb621868a4f0c1701f54ad2a1f45d889af (patch) | |
| tree | 96b126c802cacb3645ed9a0bfda3a13ae5c915dd /util/docker_build.sh | |
| parent | 5f671de13a01c88ceb86874dba91e4e66c4a3d51 (diff) | |
docs: some typos (#18582)
probably hacktoberism
Diffstat (limited to 'util/docker_build.sh')
| -rwxr-xr-x | util/docker_build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/util/docker_build.sh b/util/docker_build.sh index 8a6b2d0565..7e10a4f76b 100755 --- a/util/docker_build.sh +++ b/util/docker_build.sh @@ -19,7 +19,7 @@ if [ $# -gt 1 ]; then exit 1 fi -# Allow $RUNTIME to be overriden by the user as an environment variable +# Allow $RUNTIME to be overridden by the user as an environment variable # Else check if either docker or podman exit and set them as runtime # if none are found error out if [ -z "$RUNTIME" ]; then @@ -36,7 +36,7 @@ if [ -z "$RUNTIME" ]; then exit 2 fi fi - + # Determine arguments if [ $# -eq 0 ]; then |