gnuradio-docker
gnuradio-docker copied to clipboard
Use RUN more efficiently
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