diff options
Diffstat (limited to 'etc/sh/rc')
-rw-r--r-- | etc/sh/rc | 17 |
1 files changed, 1 insertions, 16 deletions
@@ -167,7 +167,6 @@ add_prefix() { export PREFIX="$XDG_PREFIX/var/mkg" add_prefix "$PREFIX" add_prefix "$XDG_PREFIX" -add_prefix "$HOME/.nix-profile" for d in "$XDG_PREFIX"/opt/bin-dirs/*; do path_add PATH "$PATH" "$d" @@ -289,20 +288,6 @@ guix_env() { printf ')' } -in_nix_shell() { - if [ -z "${IN_NIX_SHELL:-}" ]; then - return - fi - - printf '\n' - color -c blacki '~> ' - color -c purpleb "$IN_NIX_SHELL " - color -c purple 'nix-shell ' - printf '(' - color -c blueb "${name:-}" - printf ')' -} - in_ssh_session() { if [ -n "${SSH_CLIENT:-}" ]; then color -c blackb '\\u' @@ -329,7 +314,7 @@ vcs_status() { fi } -PS1='`error_marker`'$(timestamp)' '$(path)'`direnv_status``makeflags_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_ssh_session)'$ ' |