Emergency workaround for apt-get failure. (#18733)

Summary:
Pull Request resolved: https://github.com/pytorch/pytorch/pull/18733
ghimport-source-id: b56766fb4b1084d8a7947cf622275d44e325141b

Stack from [ghstack](https://github.com/ezyang/ghstack):
* **#18733 Emergency workaround for apt-get failure.**

Signed-off-by: Edward Z. Yang <ezyang@fb.com>
Reviewed By: dreiss

Differential Revision: D14725779

fbshipit-source-id: 6855347853a3f13461ca267ed563e2db5815166e

diff --git a/.circleci/config.yml b/.circleci/config.yml
index a4bcd4b..db6d274 100644 (file)
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -22,7 +22,7 @@ setup_linux_system_environment: &setup_linux_system_environment
   name: Set Up System Environment
   no_output_timeout: "1h"
   command: |
-    set -e
+    set -ex
 
     # Set up CircleCI GPG keys for apt, if needed
     curl -L https://packagecloud.io/circleci/trusty/gpgkey | sudo apt-key add -
@@ -33,7 +33,17 @@ install_official_git_client: &install_official_git_client
   name: Install Official Git Client
   no_output_timeout: "1h"
   command: |
-    set -e
+    set -ex
+
+    sudo killall apt-get || true
+    sudo rm /var/lib/apt/lists/lock || true
+    sudo rm /var/cache/apt/archives/lock || true
+    sudo rm /var/lib/dpkg/lock || true
+
+    cat /etc/apt/sources.list
+    sudo sed -i 's#archive.ubuntu.com/ubuntu#us-east-1.ec2.archive.ubuntu.com/ubuntu#g' /etc/apt/sources.list
+    sudo sed -i 's#security.ubuntu.com/ubuntu#us-east-1.ec2.archive.ubuntu.com/ubuntu#g' /etc/apt/sources.list
+    cat /etc/apt/sources.list
 
     sudo apt-get -q -y update
     sudo apt-get -q -y install openssh-client git

diff --git a/.circleci/verbatim-sources/header-section.yml b/.circleci/verbatim-sources/header-section.yml
index 6febfb9..5e691ef 100644 (file)
--- a/.circleci/verbatim-sources/header-section.yml
+++ b/.circleci/verbatim-sources/header-section.yml
@@ -22,7 +22,7 @@ setup_linux_system_environment: &setup_linux_system_environment
   name: Set Up System Environment
   no_output_timeout: "1h"
   command: |
-    set -e
+    set -ex
 
     # Set up CircleCI GPG keys for apt, if needed
     curl -L https://packagecloud.io/circleci/trusty/gpgkey | sudo apt-key add -
@@ -33,7 +33,17 @@ install_official_git_client: &install_official_git_client
   name: Install Official Git Client
   no_output_timeout: "1h"
   command: |
-    set -e
+    set -ex
+
+    sudo killall apt-get || true
+    sudo rm /var/lib/apt/lists/lock || true
+    sudo rm /var/cache/apt/archives/lock || true
+    sudo rm /var/lib/dpkg/lock || true
+
+    cat /etc/apt/sources.list
+    sudo sed -i 's#archive.ubuntu.com/ubuntu#us-east-1.ec2.archive.ubuntu.com/ubuntu#g' /etc/apt/sources.list
+    sudo sed -i 's#security.ubuntu.com/ubuntu#us-east-1.ec2.archive.ubuntu.com/ubuntu#g' /etc/apt/sources.list
+    cat /etc/apt/sources.list
 
     sudo apt-get -q -y update
     sudo apt-get -q -y install openssh-client git