3 # Sets up the shell for interactive commands
5 # Use the terminfo backspace character as the erase character. This is not
6 # enabled by default because terminfo is often broken.
9 # Prompt: user@host:directory$
12 # The all important colours!
13 ssource "${HOME}/.bash/colors"
15 # xterm titlebar displays current command
18 HOSTNAME="$(hostname | cut -d '.' -f 1)"
19 CWD_WITHHOME='"$(echo "${PWD}" | sed "s|^${HOME}|~|")"'
20 PROMPT_COMMAND="echo -ne \"\033]0;${HOSTNAME}: ${CWD_WITHHOME}\007\""
24 PROMPT_COMMAND="echo -ne '\033k\033\\'"
31 alias ls='ls --color=auto'
38 # Bash should check the terminal size after every command terminates
41 # Local customisations
42 ssource "${HOME}/.bash/interactive_local"