Seed putty directory with existing xrdb entries.
Ran xrdb2putty.py to convert all existing .xrdb entries to new PuTTY- compatible entries located in the /putty/ directory.
This commit is contained in:
parent
5198f44a74
commit
7e4b9f09dc
156 changed files with 3900 additions and 0 deletions
25
putty/Man Page.reg
Normal file
25
putty/Man Page.reg
Normal file
|
|
@ -0,0 +1,25 @@
|
|||
Windows Registry Editor Version 5.00
|
||||
|
||||
[HKEY_CURRENT_USER\Software\SimonTatham\PuTTY\Sessions\Man Page]
|
||||
"Colour2"="254,244,156"
|
||||
"Colour3"="254,244,156"
|
||||
"Colour0"="0,0,0"
|
||||
"Colour1"="0,0,0"
|
||||
"Colour5"="127,127,127"
|
||||
"Colour4"="0,0,0"
|
||||
"Colour6"="0,0,0"
|
||||
"Colour8"="204,0,0"
|
||||
"Colour11"="0,217,0"
|
||||
"Colour13"="229,229,0"
|
||||
"Colour15"="0,0,255"
|
||||
"Colour17"="229,0,229"
|
||||
"Colour19"="0,229,229"
|
||||
"Colour21"="229,229,229"
|
||||
"Colour10"="0,166,0"
|
||||
"Colour12"="153,153,0"
|
||||
"Colour14"="0,0,178"
|
||||
"Colour16"="178,0,178"
|
||||
"Colour18"="0,166,178"
|
||||
"Colour20"="204,204,204"
|
||||
"Colour7"="102,102,102"
|
||||
"Colour9"="229,0,0"
|
||||
Loading…
Add table
Add a link
Reference in a new issue