Use wget instead of curl, closes #3020 (#3022)

This commit is contained in:
José Valim 2025-06-19 10:54:07 -07:00 committed by GitHub
parent 31ff347768
commit 334ae5523e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -18,7 +18,7 @@ else
export LIVEBOOK_NODE="${FLY_APP_NAME}-${deployment}@${FLY_PRIVATE_IP}"
fi
elif [ "$LIVEBOOK_CLUSTER" = "auto" ] && [ ! -z "$ECS_CONTAINER_METADATA_URI" ]; then
metadata="$(curl --silent $ECS_CONTAINER_METADATA_URI)"
metadata="$(wget --quiet --output-document=- $ECS_CONTAINER_METADATA_URI)"
machine_ip="$(echo $metadata | $RELEASE_ROOT/bin/livebook eval 'IO.read(:stdio, :eof) |> JSON.decode!() |> Map.fetch!("Networks") |> hd() |> Map.fetch!("IPv4Addresses") |> hd() |> IO.write()')"
image_id="$(echo $metadata | $RELEASE_ROOT/bin/livebook eval 'IO.read(:stdio, :eof) |> JSON.decode!() |> Map.fetch!("ImageID") |> IO.write()')"