3 # Sets up the shell for interactive commands
5 # Prompt: user@host:directory$
8 # The all important colours!
9 ssource "${HOME}/.bash/colors"
11 # xterm titlebar displays current command
14 HOSTNAME="$(hostname | cut -d '.' -f 1)"
15 CWD_WITHHOME='"$(echo "${PWD}" | sed "s|^${HOME}|~|")"'
16 PROMPT_COMMAND="echo -ne \"\033]0;${HOSTNAME}: ${CWD_WITHHOME}\007\""
20 PS1="\[\033k\033\\\\\]${PS1}"
27 alias ls='ls --color=auto'
34 # Bash should check the terminal size after every command terminates
37 # Local customisations
38 ssource "${HOME}/.bash/interactive_local"