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