Debugging: Increase process reporting for apt/dpkg. (#18880)
authorEdward Yang <ezyang@fb.com>
Tue, 9 Apr 2019 18:34:37 +0000 (11:34 -0700)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Tue, 9 Apr 2019 18:40:47 +0000 (11:40 -0700)
Summary:
Pull Request resolved: https://github.com/pytorch/pytorch/pull/18880
ghimport-source-id: b43a33c12df379ec75c1fd4c713c1fc723a763e1

Differential Revision: D14856296

Pulled By: ezyang

fbshipit-source-id: 30691eb14dddfe998b2605b416aaa1b14d1b6ad5

.circleci/config.yml
.circleci/verbatim-sources/header-section.yml

index cbcc26f..624fa6b 100644 (file)
@@ -56,8 +56,8 @@ setup_linux_system_environment: &setup_linux_system_environment
 
     cat /etc/apt/sources.list
 
-    ps ax | grep apt
-    ps ax | grep dpkg
+    ps auxfww | grep [a]pt
+    ps auxfww | grep dpkg
 
 install_doc_push_script: &install_doc_push_script
   name: Install the doc push script
index 30ed060..4957f2c 100644 (file)
@@ -56,8 +56,8 @@ setup_linux_system_environment: &setup_linux_system_environment
 
     cat /etc/apt/sources.list
 
-    ps ax | grep apt
-    ps ax | grep dpkg
+    ps auxfww | grep [a]pt
+    ps auxfww | grep dpkg
 
 install_doc_push_script: &install_doc_push_script
   name: Install the doc push script