mydots/dotfiles/bash/post.bashrc

#!/bin/bash

######################################################
### things to do AFTER host/user-specific settings ###
######################################################

### .... ###
### BASH ###
### '''' ###

__make_ps1d() {
    local rvfile="/var/tmp/bash-rv/$$.lastrv"
    local lastrv=$(cat $rvfile)
    if [ $lastrv -gt 0 ];
    then
        echo "$lastrv"
    else
        echo ""
    fi
    rm $rvfile
}

__save_rv() {
    echo $1 > /var/tmp/bash-rv/$$.lastrv
}

make_ps1() {
    # these functions must be already defined by ~/.bash/user/*.bashrc
    # and ~/.bash/host/*.bashrc
    local svrc='$(__save_rv $?)'
    local ps1u=$(make_ps1u)
    local ps1h=$(make_ps1h)
    local ps1w="$lblue\w$normal";
    local ps1G='$(__git_ps1 "(%s)")';
    local ps1g="$green$ps1G$normal";
    local ps1D='$(__make_ps1d)';
    local ps1d="$lred$ps1D$normal";
    echo "$svrc$ps1u@$ps1h:$ps1w$ps1g$ps1d\$ ";
}

make_ps2() {
    echo "$white>$yellow>$lyellow>$normal ";
}

# and use to assemble own PS1
export PS1=$(make_ps1)
export PS2=$(make_ps2)

### ...... ###
### OTHERS ###
### '''''' ###