Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

user.sh: put env settings in /etc/bash.bashrc #83

Merged
merged 1 commit into from
May 22, 2024
Merged

user.sh: put env settings in /etc/bash.bashrc #83

merged 1 commit into from
May 22, 2024

Commits on May 22, 2024

  1. user.sh: put env settings in /etc/bash.bashrc 

    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.

Signed-off-by: Gerwin Klein <[email protected]>
    @lsf37
    lsf37 committed May 22, 2024
    Configuration menu
    Copy the full SHA
    e03c9c6 View commit details
    Browse the repository at this point in the history