equal
deleted
inserted
replaced
16 ENV UNAME ${UNAME} |
16 ENV UNAME ${UNAME} |
17 ARG UID=1000 |
17 ARG UID=1000 |
18 ARG GID=1000 |
18 ARG GID=1000 |
19 RUN groupadd -g $GID $UNAME |
19 RUN groupadd -g $GID $UNAME |
20 RUN useradd -m -u $UID -g $GID -s /bin/bash $UNAME |
20 RUN useradd -m -u $UID -g $GID -s /bin/bash $UNAME |
21 USER $UNAME |
|
22 |
|
23 RUN mkdir /home/$UNAME/build /home/$UNAME/src |
|
24 |
21 |
25 # easy to remember 'build' alias to invoke main makefile |
22 # easy to remember 'build' alias to invoke main makefile |
26 ARG OWNDIRBASENAME=beremiz_public_dist |
23 ARG OWNDIRBASENAME=beremiz_public_dist |
27 ENV OWNDIRBASENAME ${OWNDIRBASENAME} |
24 ENV OWNDIRBASENAME ${OWNDIRBASENAME} |
28 RUN echo "alias build='make -C /home/"$UNAME"/build -f /home/devel/src/"$OWNDIRBASENAME"/Makefile'">/home/$UNAME/.bash_aliases |
25 RUN echo -e '#!/bin/bash\nmake -f /home/'$UNAME'/src/'$OWNDIRBASENAME'/Makefile $*' > /usr/local/bin/build |
|
26 RUN chmod +x /usr/local/bin/build |
|
27 |
|
28 USER $UNAME |
|
29 |
|
30 RUN mkdir /home/$UNAME/build /home/$UNAME/src |