bashrc: `grep' hacking.

[profile] / putty-defaults

diff --git a/putty-defaults b/putty-defaults
index ce7ffb6..65353c2 100644 (file)
--- a/putty-defaults
+++ b/putty-defaults
@@ -57,7 +57,7 @@ NoApplicationCursors=0
 NoMouseReporting=0
 NoRemoteResize=0
 NoAltScreen=0
-NoRemoteWinTitle=0
+NoRemoteWinTitle=1
 RemoteQTitleAction=1
 NoDBackspace=0
 NoRemoteCharset=0
@@ -98,7 +98,7 @@ WinNameAlways=0
 WinTitle=
 TermWidth=80
 TermHeight=75
-Font=fixed
+Font=-misc-fixed-medium-r-semicondensed-*-*-120-*-*-c-*-iso10646-1
 FontQuality=0
 FontVTMode=4
 UseSystemColours=0
@@ -141,7 +141,7 @@ Wordness128=1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
 Wordness160=1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
 Wordness192=2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,1,2,2,2,2,2,2,2,2
 Wordness224=2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,1,2,2,2,2,2,2,2,2
-LineCodePage=Use font encoding
+LineCodePage=UTF-8
 CJKAmbigWide=0
 UTF8Override=1
 Printer=