Triton Profile bash helpers

Triton profile bash prompt.sh

# functions for easing working with multiple profiles in the shell

alias tp='triton profiles'

function get_triton_profile() {
  [ -n $TRITON_PROFILE ] && echo $TRITON_PROFILE
}

function set_profile() {
  export TRITON_PROFILE=$1
}

# Prompt with Triton profile currently set and current Git branch
PS1="\[$Green\]\t\[$Red\]-\[$Blue\]\u\[$Yellow\]\[$Yellow\]:\W\[\033[m\]\[$Red\]:\$(get_triton_profile)\[$Cyan\]\$(__git_ps1)\[$White\]\$ "