t) ;;
*) __mdw_bashrc=t
-## Fetch the common configuration.
+###--------------------------------------------------------------------------
+### Common shell configuration.
+
. "$HOME/.shell-rc"
+###--------------------------------------------------------------------------
+### Other preliminaries.
+
## If we've not run the main profile yet, we should do that first. It sets
## up things we rely on. Also, if there's a system script, we should run
## that too.
__mdw_set_prompt_hacks () {
case "$TERM" in
- linux*|screen*|xterm*|vt100*|eterm*)
+ linux*|screen*|xterm*|putty*|vt100*|eterm*)
case "$(tput bold)" in
"") bold="\[$(tput md)\]" unbold="\[$(tput me)\]" ;;
*) bold="\[$(tput bold)\]" unbold="\[$(tput sgr0)\]" ;;
if (( ${BASH_VERSINFO[0]} >= 4 )); then shopt -s globstar; fi
shopt -s gnu_errfmt
shopt -s histappend
+set -o histexpand
shopt -s histreedit
shopt -u histverify
shopt -s hostcomplete