diff options
| author | Idan Gazit <[email protected]> | 2020-10-09 17:49:42 -0700 |
|---|---|---|
| committer | Idan Gazit <[email protected]> | 2020-10-09 19:09:11 -0700 |
| commit | db40fbad598b6f84472cb2921df89f1a46fc6b5c (patch) | |
| tree | deed33db725975c0832476c32e50c20180000f2f /.devcontainer/Dockerfile | |
| parent | 63931a706870652e649346e4052a9fb1b105ff5b (diff) | |
| download | zmk-db40fbad598b6f84472cb2921df89f1a46fc6b5c.tar.gz zmk-db40fbad598b6f84472cb2921df89f1a46fc6b5c.zip | |
Conditionally source zephyr-env.sh in .bashrc
Diffstat (limited to '.devcontainer/Dockerfile')
| -rw-r--r-- | .devcontainer/Dockerfile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 160b148127..184aae9a5c 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -6,3 +6,6 @@ RUN apt-get -y update && \ ssh \ gpg && \ rm -rf /var/lib/apt/lists/* + +COPY .bashrc tmp +RUN mv /tmp/.bashrc ~/.bashrc |