#
# Bash Init
#

# Deterimine current directory
DOTBASH="$DOTSHELL/bash"

source "$DOTBASH/prompt.sh"
# source "$DOTBASH/bash-ido.sh" # Disabled for making life complicated