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 |
|
22 # easy to remember 'build' alias to invoke main makefile |
|
23 ARG OWNDIRBASENAME=beremiz_public_dist |
|
24 ENV OWNDIRBASENAME ${OWNDIRBASENAME} |
|
25 RUN echo -e '#!/bin/bash\nmake -f /home/devel/src/'$OWNDIRBASENAME'/Makefile $*' > /usr/local/bin/build |
|
26 RUN chmod +x /usr/local/bin/build |
|
27 |
21 USER $UNAME |
28 USER $UNAME |
22 |
29 |
23 RUN mkdir /home/$UNAME/build /home/$UNAME/src |
30 RUN mkdir /home/$UNAME/build /home/$UNAME/src |
24 |
31 |
25 # easy to remember 'build' alias to invoke main makefile |
|
26 ARG OWNDIRBASENAME=beremiz_public_dist |
|
27 ENV OWNDIRBASENAME ${OWNDIRBASENAME} |
|
28 RUN echo "alias build='make -C /home/"$UNAME"/build -f /home/devel/src/"$OWNDIRBASENAME"/Makefile'">/home/$UNAME/.bash_aliases |
|