fix: Bash shebang

* fix: Bash shebang
This commit is contained in:
Kroese authored and GitHub committed 2023-12-16 07:42:57 +01:00
1 parent d22a3a4c7d
commit 2e0107e46f
4 files changed
+4 -4

No files matched your search

+1 -1
View File
@@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
set -Eeuo pipefail
DEF_OPTS="-nographic -nodefaults -boot strict=on -display none"
+1 -1
View File
@@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
set -Eeuo pipefail
# Docker environment variables
+1 -1
View File
@@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
set -Eeuo pipefail
if [[ "$GPU" != [Yy1]* ]] || [[ "$ARCH" != "amd64" ]]; then
+1 -1
View File
@@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
set -Eeuo pipefail
# Docker environment variables