Dear Stephen, I am not sure to follow all the Docker dance. Well, if I understand correctly, you did:
guix package --delete-generations
guix gc
which remove all except the current profile, i.e., ~/.guix-profile.
However, there is another profile '~/.config/guix/current' which is
the profile used when guix pull. Therefore, you have to clean the
generations here too:
guix pull --delete-generations
guix gc
Does it reduce the size?
All the best,
simon
