From 01c03caacc266ad18cb19f1ee4131e9d16ea316f Mon Sep 17 00:00:00 2001 From: Edward Yang Date: Tue, 2 Apr 2019 10:46:16 -0700 Subject: 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 Reviewed By: dreiss Differential Revision: D14725779 fbshipit-source-id: 6855347853a3f13461ca267ed563e2db5815166e --- .circleci/config.yml | 14 ++++++++++++-- .circleci/verbatim-sources/header-section.yml | 14 ++++++++++++-- 2 files changed, 24 insertions(+), 4 deletions(-) (limited to '.circleci') diff --git a/.circleci/config.yml b/.circleci/config.yml index a4bcd4b16f..db6d27412b 100644 --- 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 6febfb9c55..5e691ef771 100644 --- 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 -- cgit v1.2.3