From fccb8c0b63c2cc37d7cbcd0d2d959158424a3a69 Mon Sep 17 00:00:00 2001 From: Elliot Saba Date: Mon, 12 Jun 2023 07:56:47 -0700 Subject: [PATCH] Remove `man` pages along with `doc` (#244) This has the added benefit of eliminating case-sensitivity from our rootfs images, allowing them to be properly unpacked on macOS. --- src/build_img/common.jl | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/build_img/common.jl b/src/build_img/common.jl index f165492..76f70fc 100644 --- a/src/build_img/common.jl +++ b/src/build_img/common.jl @@ -63,11 +63,15 @@ function cleanup_rootfs(rootfs; rootfs_info=nothing) mkdir(apt_lists_dir) end - # Remove `/usr/share/doc`, as that's not particularly useful + # Remove `/usr/share/{doc,man}`, as that's not particularly useful if isdir(joinpath(rootfs, "usr", "share", "doc")) @info("Removing `/usr/share/doc`...") rm(joinpath(rootfs, "usr", "share", "doc"); recursive=true, force=true) end + if isdir(joinpath(rootfs, "usr", "share", "man")) + @info("Removing `/usr/share/man`...") + rm(joinpath(rootfs, "usr", "share", "man"); recursive=true, force=true) + end # Add `juliaci` user and group @info("Adding 'juliaci' user and group as 1000:1000")