From 216f421c0134627d9e788ca5143892023782a225 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Mon, 11 Sep 2023 10:23:53 -0300 Subject: etc/sh/rc: Add direnv_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 758988a..af6e946 100644 --- a/etc/sh/rc +++ b/etc/sh/rc @@ -282,13 +282,19 @@ in_ssh_session() { fi } +direnv_status() { + if [ -n "${DIRENV_FILE:-}" ]; then + color -c lightblue '.' + fi +} + vcs_status() { timeout 0.5 vcs ps1 || if [ $? = 124 ]; then color -c red '❌' fi } -PS1='`error_marker`'$(timestamp)' '$(path)' `shell_status``vcs_status``guix_env``in_nix_shell` +PS1='`error_marker`'$(timestamp)' '$(path)'`direnv_status` `shell_status``vcs_status``guix_env``in_nix_shell` '$(in_ssh_session)'$ ' -- cgit v1.2.3