From 25308bb2b8702c3fa6dc61869156c8b4a84e1371 Mon Sep 17 00:00:00 2001 From: Elliott Sales de Andrade Date: Wed, 20 Sep 2023 18:22:03 -0400 Subject: [PATCH 1/2] ci: Use new name for WQY-ZenHei package on Circle --- .circleci/config.yml | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index 5fc186a4143a..c914581f5211 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -44,24 +44,24 @@ commands: command: | sudo apt -qq update sudo apt install -y \ - inkscape \ - ffmpeg \ + cm-super \ dvipng \ + ffmpeg \ + fonts-crosextra-carlito \ + fonts-freefont-otf \ + fonts-humor-sans \ + fonts-noto-cjk \ + fonts-wqy-zenhei \ + graphviz \ + inkscape \ lmodern \ - cm-super \ + optipng \ + texlive-fonts-recommended \ texlive-latex-base \ texlive-latex-extra \ - texlive-fonts-recommended \ texlive-latex-recommended \ texlive-pictures \ - texlive-xetex \ - ttf-wqy-zenhei \ - graphviz \ - fonts-crosextra-carlito \ - fonts-freefont-otf \ - fonts-humor-sans \ - fonts-noto-cjk \ - optipng + texlive-xetex fonts-install: steps: From ac8ac991da1bcc28ae7d98e6be6d12629466ddd2 Mon Sep 17 00:00:00 2001 From: Elliott Sales de Andrade Date: Wed, 20 Sep 2023 18:23:16 -0400 Subject: [PATCH 2/2] ci: Don't install recommended packages on Circle We don't need the optional packages and save a little download/install time. --- .circleci/config.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index c914581f5211..60a1e8211e60 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -42,8 +42,8 @@ commands: - run: name: Install apt packages command: | - sudo apt -qq update - sudo apt install -y \ + sudo apt-get -qq update + sudo apt-get install -yy --no-install-recommends \ cm-super \ dvipng \ ffmpeg \