diff options
Diffstat (limited to '.circleci/verbatim-sources/header-section.yml')
| -rw-r--r-- | .circleci/verbatim-sources/header-section.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.circleci/verbatim-sources/header-section.yml b/.circleci/verbatim-sources/header-section.yml index 30ed060700..4957f2c151 100644 --- a/.circleci/verbatim-sources/header-section.yml +++ b/.circleci/verbatim-sources/header-section.yml @@ -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 |