From b8ebd1b4951b62f964e04155e3e215ffa5cda1f4 Mon Sep 17 00:00:00 2001
From: Wilfried OLLIVIER <wollivier@fdn.fr>
Date: Tue, 17 May 2022 06:30:43 +0200
Subject: [PATCH] Change terminal font

---
 settings.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/settings.json b/settings.json
index d9f4023..5403441 100644
--- a/settings.json
+++ b/settings.json
@@ -157,7 +157,7 @@
   "editor.wordSeparators": "/\\()\"':,.;<>~!@#$%^&*|+=[]{}`?-",
   "editor.wordWrap": "off",
   "terminal.integrated.enablePersistentSessions": false,
-  "terminal.integrated.fontFamily": "'JetBrainsMono Nerd Font'",
+  "terminal.integrated.fontFamily": "'MesloLGS NF'",
   "terminal.integrated.fontSize": 10,
   "workbench.colorTheme": "Gruvbox Light Soft",
   "workbench.colorCustomizations": {