putty-defaults: Revert bogus change to Putty terminal height.

[profile] / bashrc

diff --git a/bashrc b/bashrc
index 4e941d1..e7eb9c3 100644 (file)
--- a/bashrc
+++ b/bashrc
@@ -1,4 +1,4 @@
-# -*-sh-*-
+# -*- mode: sh; coding: utf-8 -*-
 #
 # $Id: .bashrc,v 1.6 1996/12/08 20:33:42 mdw Exp $
 #
@@ -30,7 +30,8 @@ if [ -t 0 ]; then
     esac
 
     if (( EUID == 0 )); then
-      left="«" right="»"
+      left=`echo « | iconv -f utf8 -t //translit`
+      right=`echo » | iconv -f utf8 -t //translit`
     else
       case $USER in
        mdw|mwooding)