diff options
| author | Edward Yang <ezyang@fb.com> | 2019-04-02 10:46:16 -0700 |
|---|---|---|
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | 2019-04-02 10:49:21 -0700 |
| commit | 01c03caacc266ad18cb19f1ee4131e9d16ea316f (patch) | |
| tree | f5479d07fb0e0154a0f5c0e298b5f8d8bd25bc04 | |
| parent | 0b6ed83f337d1069d4cd6e20a99eba97c41cf015 (diff) | |
| download | pytorch-01c03caacc266ad18cb19f1ee4131e9d16ea316f.tar.gz pytorch-01c03caacc266ad18cb19f1ee4131e9d16ea316f.tar.bz2 pytorch-01c03caacc266ad18cb19f1ee4131e9d16ea316f.zip | |
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
| -rw-r--r-- | .circleci/config.yml | 14 | ||||
| -rw-r--r-- | .circleci/verbatim-sources/header-section.yml | 14 |
2 files changed, 24 insertions, 4 deletions
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 |