# HG changeset patch
# User etisserant <edouard.tisserant@gmail.com>
# Date 1652796184 -7200
# Node ID 77b38c4d0d7fe3593b94fe5c2a86f0fe4ceeba8f
# Parent  87e6588ad4c8018594fb4c133214816e5cb12d7c
Dockerfile: use script rather than alias so that bash doesn't need to be interactive shell with a TTY

diff -r 87e6588ad4c8 -r 77b38c4d0d7f Dockerfile
--- a/Dockerfile	Sat Oct 02 00:15:37 2021 +0200
+++ b/Dockerfile	Tue May 17 16:03:04 2022 +0200
@@ -18,11 +18,14 @@
 ARG GID=1000
 RUN groupadd -g $GID $UNAME
 RUN useradd -m -u $UID -g $GID -s /bin/bash $UNAME
+
+# easy to remember 'build' alias to invoke main makefile
+ARG OWNDIRBASENAME=beremiz_public_dist
+ENV OWNDIRBASENAME ${OWNDIRBASENAME}
+RUN echo -e '#!/bin/bash\nmake -f /home/devel/src/'$OWNDIRBASENAME'/Makefile $*' > /usr/local/bin/build
+RUN chmod +x /usr/local/bin/build
+
 USER $UNAME
 
 RUN mkdir /home/$UNAME/build /home/$UNAME/src
 
-# easy to remember 'build' alias to invoke main makefile
-ARG OWNDIRBASENAME=beremiz_public_dist
-ENV OWNDIRBASENAME ${OWNDIRBASENAME}
-RUN echo "alias build='make -C /home/"$UNAME"/build -f /home/devel/src/"$OWNDIRBASENAME"/Makefile'">/home/$UNAME/.bash_aliases