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