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

fix [docker] use correct environment name in docker bashrc #257

Merged

kccwing merged 1 commit into develop from dev_docker_environment

Oct 11, 2023

Collaborator

sduess commented Oct 11, 2023

We had to adjust also the environment in the bashrc file to make the docker working from the start.


          fix [docker] use correct environment name in docker bashrc

1c3854f

kccwing approved these changes

View reviewed changes

Collaborator

kccwing left a comment

Nice @sduess!!! Let's close this :))

kccwing merged commit ea5190e into develop

3 checks passed

kccwing deleted the dev_docker_environment branch

October 11, 2023 16:39

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet