From dfe0e1cd6abea45966b75f18e49f28c3cd8761bc Mon Sep 17 00:00:00 2001 From: Fernando Schauenburg Date: Wed, 6 Sep 2023 08:58:07 +0200 Subject: [PATCH] mintty: update config This is a snapshot of my current wsltty config on Windows. --- config/mintty/config | 19 ++++++++++++------- config/mintty/themes/gruvbox-dark | 25 +++++++++++++++++++++++++ 2 files changed, 37 insertions(+), 7 deletions(-) create mode 100755 config/mintty/themes/gruvbox-dark diff --git a/config/mintty/config b/config/mintty/config index 55d96cb..dfefe74 100644 --- a/config/mintty/config +++ b/config/mintty/config @@ -1,19 +1,24 @@ BoldAsFont=yes Charset=UTF-8 -Columns=130 +Columns=110 CtrlAltIsAltGr=yes CursorType=line -Font=Source Code Pro Medium -FontHeight=9 -FontWeight=400 +Font=SauceCodePro NF Medium +FontHeight=11 +FontWeight=500 Hold=error Locale=en_US OpaqueWhenFocused=yes -Rows=64 +Rows=45 Scrollbar=none SelectionShowSize=6 Term=xterm-256color -Transparency=low +Transparency=off Utmp=yes -ThemeFile=solarized-dark +ThemeFile=gruvbox-dark +BoldAsColour=no +BellType=0 +FontSmoothing=default +RewrapOnResize=no +StatusLine=no diff --git a/config/mintty/themes/gruvbox-dark b/config/mintty/themes/gruvbox-dark new file mode 100755 index 0000000..57cf261 --- /dev/null +++ b/config/mintty/themes/gruvbox-dark @@ -0,0 +1,25 @@ +# Gruvbox Dark + +ForegroundColour = 235, 219, 178 +#BackgroundColour = 29, 32, 33 +BackgroundColour = 23, 26, 27 +CursorColour = 204, 36, 29 +IMECursorColour = 204, 36, 29 + +Black = 40, 40, 40 +Red = 204, 36, 29 +Green = 152, 151, 26 +Yellow = 215, 153, 33 +Blue = 69, 133, 136 +Magenta = 177, 98, 134 +Cyan = 104, 157, 106 +White = 235, 219, 178 + +BoldBlack = 146, 131, 116 +BoldRed = 251, 73, 52 +BoldGreen = 184, 187, 38 +BoldYellow = 250, 189, 47 +BoldBlue = 131, 165, 152 +BoldMagenta = 211, 134, 155 +BoldCyan = 142, 192, 124 +BoldWhite = 251, 241, 199