idmgr/lib/idmgr_mod_ps1.sh
2018-02-10 22:06:33 -05:00

64 lines
1009 B
Bash

#!/bin/bash
IDM_MOD_DEPS="id pass gpg ssh"
## Prompt functions
##########################################
SHELL_PS1="${SHELL_PS1:-[\\u@\\h \\W]\\$ }"
idm_ps1 ()
{
local action=${1-}
shift || true
idm_ps1_ls
}
idm_ps1_ls ()
{
local id=${1}
#set -x
#echo "PS1=${SHELL_PS1:-${PS1-}}"
if grep -q "($id)" <<<"${SHELL_PS1:-${PS1-}}" ; then
echo "enabled"
else
echo "disabled"
fi
}
idm_ps1_help ()
{
echo "Shell Prompt"
printf " %-20s: %s\n" "ps1 enable" "Enable prompt"
printf " %-20s: %s\n" "ps1 disable" "Disable prompt"
}
idm_ps1_enable ()
{
local id=${1}
# \033]00m\] # for shell
#\[\033]01;31m\] for ps1
id="\[\033[0;34m\]($id)\[\033[00m\]"
PS1="$id ${PS1:-$SHELL_PS1}"
echo "export PS1='$PS1'"
echo "export SHELL_PS1='$PS1'"
}
idm_ps1_disable ()
{
local id=${1}
PS1=$( sed "s/$id[^a-z]* //" <<<${PS1:-$SHELL_PS1} )
PS1='[\u@\h \W]\$ '
echo "export PS1='$PS1'"
echo "export SHELL_PS1='$PS1'"
}
idm_ps1_kill () { idm_ps1_disable ${@-}; }