+# Set the title of an xterm to the hostname unless the remote IP is matched by
+# a regular expression in ~/.ssh/forwarded.
+SSH_FORWARDED=$(get_remote_ip)
if [ ! -z "$SSH_FORWARDED" ]; then
if [ ! -z "$SSH_FORWARDED" ]; then
- if [ ! "$SSH_FORWARDED" = "62.189.242.202" -a ! "$SSH_FORWARDED" = "62.189.241.202" -a ! "$SSH_FORWARDED" = "193.128.72.68" -a ! "$SSH_FORWARDED" = "localhost" ]; then
- SSH_FORWARDED=" (from $SSH_FORWARDED)"
- else
+ if [ "$SSH_FORWARDED" = "localhost" ]; then
SSH_FORWARDED=
SSH_FORWARDED=
+ elif [ -f ${PROFILE_HOME:-~}/.ssh/forwarded ]; then
+ for forwarded in $(< ${PROFILE_HOME:-~}/.ssh/forwarded); do
+ if echo "$SSH_FORWARDED" | grep "$forwarded" &>/dev/null; then