#! /bin/bash
# Sets the terminal type for interactive shells:
# Last edited on 2009-09-10 16:41:31 by stolfi

# === TERMINAL SETTINGS ===============================================

# The shell is interactive. Set the command prompt:

export PS1="${USER}@${HOSTNAME} \!> "

# Tell DeskSet and XView applications to use 8-bit ISO characters:

export LC_ALL="C"
# export LC_CTYPE="iso_8859_1"

if [[ -z "${TERM}" ]]; then export TERM="xterm"; fi

# Fix terminal settings for rlogin shells run under emacs:

if [[ "/$TERM" == "/emacs" ]]; then
  /bin/stty -onlcr -echo -echoprt -echoctl -icrnl -opost
elif [[ "/$TERM" == "/xterm" ]]; then
  /bin/stty sane 
fi

# Redefine BACKSPACE to delete characters, DEL to delete words:

/bin/stty pass8 erase '^h' werase '^?'