dominic
/
prezto
1
0
Fork 0
Code Releases Activity

Removed Makefile from container, not needed after build

Browse Source
pull/1753/head
H-Lo 5 years ago committed by GitHub
parent 48de6d2bfb
commit 4cf2fc613c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File

1
Dockerfile
Unescape View File

@ -14,6 +14,7 @@ COPY . src
RUN cp src/Makefile . RUN cp src/Makefile .
RUN make .clone RUN make .clone
RUN make src .homercs RUN make src .homercs
RUN rm Makefile
# ENTRYPOINT ["/bin/zsh", "-"] # ENTRYPOINT ["/bin/zsh", "-"]
# CMD ["/bin/zsh","-l","-o","verbose","-o","xtrace","-o","sourcetrace"] # CMD ["/bin/zsh","-l","-o","verbose","-o","xtrace","-o","sourcetrace"]
CMD ["/bin/zsh","-l"] CMD ["/bin/zsh","-l"]

Write Preview
Loading…
Cancel
Save