ps1
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
ps1 [2022/01/19 19:35] – dblume | ps1 [2023/04/12 20:44] (current) – external edit 127.0.0.1 | ||
---|---|---|---|
Line 39: | Line 39: | ||
# Trim everything before the dash, then trim everything after the colon. | # Trim everything before the dash, then trim everything after the colon. | ||
SHORT_DOCKER_VER=${DOCKER_VER# | 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. | # Experimenting with git branch in PS1. Turn off by setting to false. | ||
Line 51: | Line 51: | ||
export PS1=' | export PS1=' | ||
else echo -e " | else echo -e " | ||
- | fi)$(if [ -n $DOCKER_VER ]; then echo -e " | + | fi)$(if [ -n $DOCKER_VER ]; then echo -e " $SHORT_DOCKER_VER"; |
fi) \[\e[38; | fi) \[\e[38; | ||
fi | fi |
ps1.1642649732.txt.gz · Last modified: 2023/04/12 20:44 (external edit)