author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Mon, 01 Jan 2024 20:53:49 +0200 | |
changeset 1039 | 78cdb4a057e3 |
parent 1012 | 5db0edb5ff00 |
permissions | -rw-r--r-- |
947
2aa44aa54450
Enabled syntax highlighting by Emacs + added link to official docs.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
914
diff
changeset
|
1 |
# -*- mode: conf -*- |
2aa44aa54450
Enabled syntax highlighting by Emacs + added link to official docs.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
914
diff
changeset
|
2 |
# https://mintty.github.io/mintty.1.html |
80
694e2a0efb4d
Added basic config for .minttyrc.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
3 |
|
875
aa6281647f6a
Improve visibility of yellow and green colors.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
861
diff
changeset
|
4 |
ForegroundColour=black |
aa6281647f6a
Improve visibility of yellow and green colors.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
861
diff
changeset
|
5 |
BackgroundColour=white |
aa6281647f6a
Improve visibility of yellow and green colors.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
861
diff
changeset
|
6 |
CursorColour=brown |
880
77d40b6bde28
Built own terminal color schema.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
877
diff
changeset
|
7 |
Black=black |
908
e69cc87ded5d
Describe color codes.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
8 |
# 696969 |
880
77d40b6bde28
Built own terminal color schema.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
877
diff
changeset
|
9 |
BoldBlack=DimGrey |
1012
5db0edb5ff00
OrangeRed is not recognized by mintty, used hex code instead.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
975
diff
changeset
|
10 |
# ff4500 / OrangeRed |
5db0edb5ff00
OrangeRed is not recognized by mintty, used hex code instead.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
975
diff
changeset
|
11 |
Red=ff4500 |
908
e69cc87ded5d
Describe color codes.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
12 |
# ff1493 |
880
77d40b6bde28
Built own terminal color schema.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
877
diff
changeset
|
13 |
BoldRed=DeepPink |
908
e69cc87ded5d
Describe color codes.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
14 |
# 228b22 |
882
4a694991b00a
DarkGreen is too dark to notice it among black text.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
881
diff
changeset
|
15 |
Green=ForestGreen |
908
e69cc87ded5d
Describe color codes.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
16 |
# 3cb371 |
880
77d40b6bde28
Built own terminal color schema.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
877
diff
changeset
|
17 |
BoldGreen=MediumSeaGreen |
908
e69cc87ded5d
Describe color codes.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
18 |
# ffa500 |
875
aa6281647f6a
Improve visibility of yellow and green colors.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
861
diff
changeset
|
19 |
Yellow=orange |
908
e69cc87ded5d
Describe color codes.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
20 |
# ffd700 |
880
77d40b6bde28
Built own terminal color schema.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
877
diff
changeset
|
21 |
BoldYellow=gold |
908
e69cc87ded5d
Describe color codes.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
22 |
# 000080 |
880
77d40b6bde28
Built own terminal color schema.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
877
diff
changeset
|
23 |
Blue=navy |
908
e69cc87ded5d
Describe color codes.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
24 |
# 0000ff |
880
77d40b6bde28
Built own terminal color schema.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
877
diff
changeset
|
25 |
BoldBlue=blue |
908
e69cc87ded5d
Describe color codes.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
26 |
# b03060 |
880
77d40b6bde28
Built own terminal color schema.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
877
diff
changeset
|
27 |
Magenta=maroon |
908
e69cc87ded5d
Describe color codes.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
28 |
# ff00ff |
880
77d40b6bde28
Built own terminal color schema.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
877
diff
changeset
|
29 |
BoldMagenta=magenta |
908
e69cc87ded5d
Describe color codes.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
903
diff
changeset
|
30 |
# 008b8b |
880
77d40b6bde28
Built own terminal color schema.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
877
diff
changeset
|
31 |
Cyan=DarkCyan |
881
3dce63382154
Make green darker for better diff readability. Same for cyan.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
880
diff
changeset
|
32 |
BoldCyan=DarkTurquoise |
880
77d40b6bde28
Built own terminal color schema.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
877
diff
changeset
|
33 |
White=white |
950
efc28cae2634
Switched BoldWhite into some visible on white background.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
949
diff
changeset
|
34 |
# Fixed Gradle output: |
efc28cae2634
Switched BoldWhite into some visible on white background.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
949
diff
changeset
|
35 |
# https://github.com/gradle/gradle/issues/15266 |
efc28cae2634
Switched BoldWhite into some visible on white background.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
949
diff
changeset
|
36 |
BoldWhite=DarkGray |
80
694e2a0efb4d
Added basic config for .minttyrc.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
37 |
|
861
4d8e47e0ee00
Fix Ignoring option '; '.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
148
diff
changeset
|
38 |
# Block, Underscore, Line. |
137
9db352726db1
Update settings for new version according to docs.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
136
diff
changeset
|
39 |
CursorType=Block |
9db352726db1
Update settings for new version according to docs.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
136
diff
changeset
|
40 |
CursorBlinks=yes |
80
694e2a0efb4d
Added basic config for .minttyrc.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
41 |
|
861
4d8e47e0ee00
Fix Ignoring option '; '.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
148
diff
changeset
|
42 |
# Off, Low, Medium, High, Glass (>= Vista only). |
137
9db352726db1
Update settings for new version according to docs.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
136
diff
changeset
|
43 |
Transparency=Low |
9db352726db1
Update settings for new version according to docs.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
136
diff
changeset
|
44 |
OpaqueWhenFocused=yes |
80
694e2a0efb4d
Added basic config for .minttyrc.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
45 |
|
861
4d8e47e0ee00
Fix Ignoring option '; '.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
148
diff
changeset
|
46 |
# 'Lucida Console' and 'Courier New' are the best fixed width font under Windows. |
4d8e47e0ee00
Fix Ignoring option '; '.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
148
diff
changeset
|
47 |
# Nice looks and support large amount of chars. |
82
2f0be98abaf0
Use 'Courier New' font as it much better looks then 'Lucida Console'.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
81
diff
changeset
|
48 |
Font=Courier New |
137
9db352726db1
Update settings for new version according to docs.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
136
diff
changeset
|
49 |
BoldAsFont=yes |
948
9d4c25b94a61
Use bold font instead of alternative color in mintty. Bold colors are shown when bright colors are requested.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
947
diff
changeset
|
50 |
BoldAsColour=no |
914
0dba496629c9
Allow to override font size by local settings.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
908
diff
changeset
|
51 |
# 10 on low DPI, 12 on hi DPI |
0dba496629c9
Allow to override font size by local settings.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
908
diff
changeset
|
52 |
FontHeight=@CFG_FONT_SIZE@ |
137
9db352726db1
Update settings for new version according to docs.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
136
diff
changeset
|
53 |
AllowBlinking=no |
80
694e2a0efb4d
Added basic config for .minttyrc.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
54 |
|
137
9db352726db1
Update settings for new version according to docs.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
136
diff
changeset
|
55 |
FontSmoothing=None |
80
694e2a0efb4d
Added basic config for .minttyrc.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
56 |
|
140 | 57 |
BackspaceSendsBS=no |
861
4d8e47e0ee00
Fix Ignoring option '; '.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
148
diff
changeset
|
58 |
# Enable Ctrl+Ins and Shift+Ins. |
139
ee4bcc2e8881
Enable Ctrl+Ins and Shift+Ins.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
138
diff
changeset
|
59 |
ClipShortcuts=yes |
861
4d8e47e0ee00
Fix Ignoring option '; '.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
148
diff
changeset
|
60 |
# Disable Windows Alt+Space and Alt+Enter shortcuts. |
137
9db352726db1
Update settings for new version according to docs.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
136
diff
changeset
|
61 |
WindowShortcuts=no |
975
1e4749d9ebf1
I'm using Ctrl+LCLick or Menu key binding for switching.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
970
diff
changeset
|
62 |
# I'm using Ctrl+LCLick or Menu key binding for switching. |
1e4749d9ebf1
I'm using Ctrl+LCLick or Menu key binding for switching.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
970
diff
changeset
|
63 |
# TabBar=yes |
1e4749d9ebf1
I'm using Ctrl+LCLick or Menu key binding for switching.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
970
diff
changeset
|
64 |
# Disable Ctrl+TAB and Ctrl+Shift+TAB shortcuts for use in screen(1). "Menu" key allows select windows visually. |
148 | 65 |
SwitchShortcuts=no |
861
4d8e47e0ee00
Fix Ignoring option '; '.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
148
diff
changeset
|
66 |
# Enable font zooming shortcuts Ctrl+plus/minus/zero. |
137
9db352726db1
Update settings for new version according to docs.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
136
diff
changeset
|
67 |
ZoomShortcuts=yes |
861
4d8e47e0ee00
Fix Ignoring option '; '.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
148
diff
changeset
|
68 |
# Shift, Ctrl, Alt, Off. |
137
9db352726db1
Update settings for new version according to docs.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
136
diff
changeset
|
69 |
ScrollMod=Shift |
9db352726db1
Update settings for new version according to docs.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
136
diff
changeset
|
70 |
|
9db352726db1
Update settings for new version according to docs.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
136
diff
changeset
|
71 |
CopyAsRTF=yes |
80
694e2a0efb4d
Added basic config for .minttyrc.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
72 |
|
861
4d8e47e0ee00
Fix Ignoring option '; '.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
148
diff
changeset
|
73 |
# Use mouse copy on select like in X window. |
138
2adaa266ebe3
Use yes/no for values.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
137
diff
changeset
|
74 |
CopyOnSelect=yes |
141 | 75 |
ClicksPlaceCursor=no |
76 |
RightClickAction=menu |
|
83
886bb3390ef4
Use mouse copy on select like in X window.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
82
diff
changeset
|
77 |
|
970
afe56abc6345
Fixed: Ignoring unknown option 'BellSound'.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
950
diff
changeset
|
78 |
# 0: No Beep, 1: Default Beep, etc |
afe56abc6345
Fixed: Ignoring unknown option 'BellSound'.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
950
diff
changeset
|
79 |
BellType=0 |
afe56abc6345
Fixed: Ignoring unknown option 'BellSound'.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
950
diff
changeset
|
80 |
BellFlash=yes |
afe56abc6345
Fixed: Ignoring unknown option 'BellSound'.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
950
diff
changeset
|
81 |
BellFlashStyle=4 |
80
694e2a0efb4d
Added basic config for .minttyrc.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
82 |
|
949
2e7205b69973
Adtivated TERM=mintty for mintty as Gradle now supports it natively (as of v5.2).
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
948
diff
changeset
|
83 |
Term=mintty |
80
694e2a0efb4d
Added basic config for .minttyrc.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
84 |
Answerback= |
694e2a0efb4d
Added basic config for .minttyrc.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
85 |
|
902
86594abd9365
Start mintty maximized.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
895
diff
changeset
|
86 |
# -w max |
86594abd9365
Start mintty maximized.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
895
diff
changeset
|
87 |
Window=max |
903
e4c0baf3fbb8
I can keep default preferred size. Maximize doesn't affect it.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
902
diff
changeset
|
88 |
Columns=160 |
e4c0baf3fbb8
I can keep default preferred size. Maximize doesn't affect it.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
902
diff
changeset
|
89 |
Rows=40 |
138
2adaa266ebe3
Use yes/no for values.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
137
diff
changeset
|
90 |
Scrollbar=right |
84
19b590b49160
Added some default settings.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
83
diff
changeset
|
91 |
ScrollbackLines=10000 |
138
2adaa266ebe3
Use yes/no for values.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
137
diff
changeset
|
92 |
ConfirmExit=yes |