diff options
| author | Reiner Herrmann <reiner@reiner-h.de> | 2023-01-07 20:20:36 +0100 |
|---|---|---|
| committer | Reiner Herrmann <reiner@reiner-h.de> | 2023-01-07 20:20:36 +0100 |
| commit | 0bc761d68250c3aa11bbf64627b79efffdfe40cc (patch) | |
| tree | 79f120d2fd70c2a1800f57efc3b53f11b008148a | |
| parent | 9649e8b0a14b97ea872c4d611b550bc4db4cfcb7 (diff) | |
bashrc: indicate if running in a container
| -rw-r--r-- | bashrc | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -57,7 +57,8 @@ red_b='\[\033[1;31m\]' nrjobs='$([ \j -gt 0 ] && echo " [\j]")' gitps='$(type -t __git_ps1 &>/dev/null && __git_ps1)' [ -n "$debian_chroot" ] && chroot="[$debian_chroot] " -PS1=${TITLE}"($user_color\u$reset@$green\h$reset) $chroot\W$gitps$nrjobs $red\\\$$reset > " +[ -n "$container" ] && container="[$container] " +PS1=${TITLE}"($user_color\u$reset@$green\h$reset) $container$chroot\W$gitps$nrjobs $red\\\$$reset > " # history HISTCONTROL='ignoredups:erasedups' |
