gnuradio / gnuradio-docker

Script automation for creating canonical GNU Radio docker images

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Use RUN more efficiently

willcode opened this issue · comments

Something like

RUN mkdir /src
RUN do a bunch of stuff in /src
RUN rm -rf /src

does not actually recover the space, it just covers it up. Instead, do single transactions the way they're done with the apt/yum commands:

RUN mkdir /src \
&& do a bunch of stuff in /src \
&& rm -rf /src