Removes unneeded nvidia driver ppa installation (apache#13814)

haohuanw · Jun 23, 2019 · c1d5127 · c1d5127
1 parent af24afa
commit c1d5127
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/ci/docker/install/ubuntu_nvidia.sh b/ci/docker/install/ubuntu_nvidia.sh
@@ -18,11 +18,6 @@
 # under the License.
 
 set -ex
-apt-get update || true
-apt install -y software-properties-common
-
-# Adding ppas frequently fails due to busy gpg servers, retry 5 times with 5 minute delays.
-for i in 1 2 3 4 5; do add-apt-repository -y ppa:graphics-drivers && break || sleep 300; done
 
 # Retrieve ppa:graphics-drivers and install nvidia-drivers.
 # Note: DEBIAN_FRONTEND required to skip the interactive setup steps