diff options
| author | jpetermans <tibcmhhm@gmail.com> | 2017-05-08 15:24:50 -0700 |
|---|---|---|
| committer | jpetermans <tibcmhhm@gmail.com> | 2017-05-08 15:24:50 -0700 |
| commit | 967cf0f6d43bd05c9951c7c31190971acd0799ea (patch) | |
| tree | 34ff786a7e5177c6edc48e93b69ce71132cb3cbf /Dockerfile | |
| parent | 5df74f3ba73f18f6bbd13b82a3a960c86fa592e1 (diff) | |
| parent | 153eb95ab208cf5563ce2fae7ec68981b64d11ce (diff) | |
Merge remote-tracking branch 'upstream/master' into user_led_configuration
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/Dockerfile b/Dockerfile index 744ded8579..88da06f02a 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,8 +1,7 @@ FROM debian:jessie MAINTAINER Erik Dasque <erik@frenchguys.com> -RUN apt-get update -RUN apt-get install --no-install-recommends -y build-essential \ +RUN apt-get update && apt-get install --no-install-recommends -y build-essential \ gcc \ unzip \ wget \ @@ -15,10 +14,8 @@ RUN apt-get install --no-install-recommends -y build-essential \ gcc-arm-none-eabi \ binutils-arm-none-eabi \ libnewlib-arm-none-eabi \ - git - -RUN apt-get clean -RUN rm -rf /var/lib/apt/lists/* + git \ + && rm -rf /var/lib/apt/lists/* ENV keyboard=ergodox ENV subproject=ez |