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