Remove texlive packages we don't need · arxiv-vanity/engrafo#424

(0 comments) (0 reactions) (0 assignees)HTML (990 stars) (96 forks)batch import

help wanted

説明

It'll reduce the ridiculous size of our Docker image. We'll need to force remove them with apt somehow, ignoring dependencies.

Do we need fonts? Maybe for generating images. If not:

技術スタック: dockershell
領域: devopsinfrastructureperformance
Issue 種別: refactor
難度: 3
推定時間: 1-3 hours
活動状況: stale
明確さ: mostly clear
前提条件: Docker basicsapt package managementreading Dockerfile
初心者向け度: 50
調査方針: Examine the repository's Dockerfile (likely in the root or .docker/ directory) to identify where texlive packages are installed. Determine if the listed font packages are necessary for LaTeXML image generation by reviewing usage or the maintainer's comments. Then implement a command like `apt get remove purge` with ` ignore deps` or use `apt get autoremove` after installation, and test that the Docker image still builds and runs correctly. Consider adding a comment explaining why each package is removed.