commit d10794c148b109d0de64ad431a85770b8b8168ea parent 0040813946ef5ece069a9b8949b520c41736f4e6 Author: Pablo Cárdenas <pablo.cardenas@imca.edu.pe> Date: Mon, 14 Oct 2024 19:11:11 -0500 mintty: changed font-family and font-size Diffstat:
| M | .config/mintty/config | | | 3 | ++- |
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/.config/mintty/config b/.config/mintty/config @@ -3,6 +3,7 @@ CursorType=block Columns=80 Rows=25 Scrollbar=none -Font=Consolas +Font=Cascadia Mono BoldAsFont=yes BoldAsColour=yes +FontHeight=14