From 662f0f47e9e3d1cb6a9f10126e954111ec03582c Mon Sep 17 00:00:00 2001 From: Ramana Radhakrishnan Date: Wed, 23 Jun 2021 09:19:09 +0100 Subject: [PATCH] Install curl in ubuntu_install_core.sh Rationalize the installation of curl among all the docker install scripts. --- docker/install/ubuntu_install_core.sh | 2 +- docker/install/ubuntu_install_nodejs.sh | 1 - docker/install/ubuntu_install_rust.sh | 1 - 3 files changed, 1 insertion(+), 3 deletions(-) diff --git a/docker/install/ubuntu_install_core.sh b/docker/install/ubuntu_install_core.sh index 6f9d791a650dc..2a50afcf59850 100755 --- a/docker/install/ubuntu_install_core.sh +++ b/docker/install/ubuntu_install_core.sh @@ -24,7 +24,7 @@ set -o pipefail apt-get update && apt-get install -y --no-install-recommends \ git make libgtest-dev cmake wget unzip libtinfo-dev libz-dev\ libcurl4-openssl-dev libssl-dev libopenblas-dev g++ sudo \ - apt-transport-https graphviz pkg-config + apt-transport-https graphviz pkg-config curl cd /usr/src/gtest && cmake CMakeLists.txt && make && cp *.a /usr/lib diff --git a/docker/install/ubuntu_install_nodejs.sh b/docker/install/ubuntu_install_nodejs.sh index b36da6295ec0d..79c2c3e4b19c4 100755 --- a/docker/install/ubuntu_install_nodejs.sh +++ b/docker/install/ubuntu_install_nodejs.sh @@ -21,7 +21,6 @@ set -u set -o pipefail apt-get update -apt-get install -y curl # The node install script fetched and executed here will update the # apt source list, hence the second apt-get update is necessary. diff --git a/docker/install/ubuntu_install_rust.sh b/docker/install/ubuntu_install_rust.sh index 5716b11db6c48..c9f06e8e982e3 100755 --- a/docker/install/ubuntu_install_rust.sh +++ b/docker/install/ubuntu_install_rust.sh @@ -20,7 +20,6 @@ set -e set -u set -o pipefail -apt-get update && apt-get install -y --no-install-recommends curl export RUSTUP_HOME=/opt/rust export CARGO_HOME=/opt/rust