Differences

This shows you the differences between two versions of the page.

--- ps1 [2022/01/19 19:29]
dblume created
+++ ps1 [2022/01/19 20:19] (current)
dblume
@@ Line 39: / Line 39: @@
 # Trim everything before the dash, then trim everything after the colon.
 SHORT_DOCKER_VER=${DOCKER_VER#*-}
-SHORT_DOCKER_VER=${SHORT_DOCKER_VER%:*}
+SHORT_DOCKER_VER="🐳 \e[0;36m${SHORT_DOCKER_VER%:*}"
 # Experimenting with git branch in PS1. Turn off by setting to false.
@@ Line 51: / Line 51: @@
         export PS1='$(if [ $? -eq 0 ]; then echo -e "\[\e[32m\]\xe2\x9c\x93";
                       else echo -e "\[\e[31m\]\xe2\x9c\x97";
-                      fi)$(if [ -n $DOCKER_VER ]; then echo -e " 🐳 $SHORT_DOCKER_VER";
+                      fi)$(if [ -n $DOCKER_VER ]; then echo -e " $SHORT_DOCKER_VER";
                       fi) \[\e[38;5;242m\]\w$(__git_ps1 " \[\e[38;5;030m\]%s\[\e[38;5;242m\]")$\[\e[0m\] '
     fi