]> CyberLeo.Net >> Repos - CDN/bash-config.git/blob - bash-config/bashrc.d/20-flag
Split 20-flag into profile part (exports FLAG if wanted) and rc part (inserts FLAG...
[CDN/bash-config.git] / bash-config / bashrc.d / 20-flag
1 # Patch flag into prompt, if not already there
2 [ "${FLAG}" ] && echo "${PS1}" | grep -q "${FLAG}" || PS1="${FLAG}${PS1}"