The user home is a docker volume, which is persistent between container runs and cannot be mounted during image building.
Store env settings like PATH and other variables in container-global /etc/bash.bashrc instead of user ~/.bashrc so that changes to these variables during image build become visible without deleting the volume.
One example where that is necessary is the recent change to ghcup -- those settings don't become visible for users who already have a user-home volume set up.
The user home is a docker volume, which is persistent between container runs and cannot be mounted during image building.
Store env settings like PATH and other variables in container-global /etc/bash.bashrc instead of user ~/.bashrc so that changes to these variables during image build become visible without deleting the volume.
One example where that is necessary is the recent change to
ghcup-- those settings don't become visible for users who already have a user-home volume set up.