diff options
| -rw-r--r-- | .circleci/config.yml | 4 | ||||
| -rw-r--r-- | .circleci/verbatim-sources/header-section.yml | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index cbcc26f2a6..624fa6beec 100644 --- a/.circleci/config.yml +++ b/.circleci/config.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 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 |