From ebff4f399feeaada28149a2130afa65c99302076 Mon Sep 17 00:00:00 2001
From: Yaman Umuroglu <yamanu@xilinx.com>
Date: Thu, 6 Feb 2020 12:29:28 +0000
Subject: [PATCH] [Docker] add colored terminal
---
Dockerfile | 1 +
run-docker.sh | 2 +-
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/Dockerfile b/Dockerfile
index 91608f3b2..ccc0a8ea8 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -42,5 +42,6 @@ RUN chown -R $UNAME:$GNAME /home/$UNAME
USER $UNAME
RUN echo "source \$VIVADO_PATH/settings64.sh" >> /home/$UNAME/.bashrc
+RUN echo "PS1='\[\033[1;36m\]\u\[\033[1;31m\]@\[\033[1;32m\]\h:\[\033[1;35m\]\w\[\033[1;31m\]\$\[\033[0m\] '" >> /home/$UNAME/.bashrc
WORKDIR /home/$UNAME/finn
diff --git a/run-docker.sh b/run-docker.sh
index bafa14529..e46ce848f 100755
--- a/run-docker.sh
+++ b/run-docker.sh
@@ -74,7 +74,7 @@ docker build --tag=$DOCKER_TAG \
--build-arg PASSWD=$DOCKER_PASSWD \
.
# Launch container with current directory mounted
-docker run --rm --name finn_dev_$DOCKER_UNAME -it \
+docker run -t --rm --name finn_dev_$DOCKER_UNAME -it \
-e "XILINX_VIVADO=$VIVADO_PATH" \
-e "SHELL=/bin/bash" \
-v $SCRIPTPATH:/workspace/finn \
--
GitLab