diff options
-rw-r--r-- | etc/sh/rc | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -297,13 +297,19 @@ direnv_status() { fi } +makeflags_status() { + if [ -n "${MAKEFLAGS:-}" ]; then + color -c lightblue '|' + fi +} + vcs_status() { timeout 0.5 vcs ps1 || if [ $? = 124 ]; then color -c red '❌' fi } -PS1='`error_marker`'$(timestamp)' '$(path)'`direnv_status` `shell_status``vcs_status``guix_env``in_nix_shell` +PS1='`error_marker`'$(timestamp)' '$(path)'`direnv_status``makeflags_status` `shell_status``vcs_status``guix_env``in_nix_shell` '$(in_ssh_session)'$ ' |