From 7b831ef9ae72a6685fa11e135a19614ec2164641 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Fri, 13 Oct 2023 09:48:40 -0300 Subject: etc/sh/rc: Add `makeflags_status` to $PS1 --- etc/sh/rc | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/etc/sh/rc b/etc/sh/rc index 01ed162..e441775 100644 --- a/etc/sh/rc +++ b/etc/sh/rc @@ -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)'$ ' -- cgit v1.2.3