[CI] Update docker image ci_lint to obtain Python 3.6 from ppa:deadsnakes/ppa (#4505...
authorLeandro Nunes <leandron85@gmail.com>
Fri, 13 Dec 2019 05:48:29 +0000 (05:48 +0000)
committerTianqi Chen <tqchen@users.noreply.github.com>
Fri, 13 Dec 2019 05:48:29 +0000 (21:48 -0800)
docker/install/ubuntu_install_python.sh

index 4b1dc37..436a318 100755 (executable)
@@ -27,7 +27,7 @@ apt-get install -y python-dev
 # python 3.6
 apt-get install -y software-properties-common
 
-add-apt-repository ppa:jonathonf/python-3.6
+add-apt-repository ppa:deadsnakes/ppa
 apt-get update
 apt-get install -y python-pip python-dev python3.6 python3.6-dev