diff --git a/docker/Dockerfile.ci b/docker/Dockerfile.ci index de3fb9caeb8390122a2ba7a2cac0351c6ce6c094..14cc539e660933d6392892471b8fa1f7e8f21674 100644 --- a/docker/Dockerfile.ci +++ b/docker/Dockerfile.ci @@ -81,4 +81,3 @@ RUN echo "source \$VIVADO_PATH/settings64.sh" >> /root/.bashrc RUN echo "PS1='\[\033[1;36m\]\u\[\033[1;31m\]@\[\033[1;32m\]\h:\[\033[1;35m\]\w\[\033[1;31m\]\$\[\033[0m\] '" >> /root/.bashrc WORKDIR /workspace/finn -ENTRYPOINT ["bash"]