Fix minor issue

Author: Tom-Notch

scripts/build_docker_image.sh

@@ -47,7 +47,7 @@ else
 fi
 
 # Check if the builder already exists
-if ! docker buildx ls | grep -q "^${BUILDER} "; then
+if ! docker buildx inspect "${BUILDER}" &>/dev/null; then
 	echo "Creating Docker Buildx builder '${BUILDER}'..."
 	docker buildx create \
 		--name "${BUILDER}" \

scripts/push_docker_image.sh

@@ -37,7 +37,7 @@ diff_env="$(
 diff_env="${diff_env# }" # trim leading space
 
 # Check if the builder already exists
-if ! docker buildx ls | grep -q "^${BUILDER} "; then
+if ! docker buildx inspect "${BUILDER}" &>/dev/null; then
 	echo "Creating Docker Buildx builder '${BUILDER}'..."
 	docker buildx create \
 		--name "${BUILDER}" \