From 4597823b3287800d3952ad1c4ff903dec57a84bf Mon Sep 17 00:00:00 2001 From: developomp Date: Sun, 5 Dec 2021 10:06:03 +0900 Subject: [PATCH] added persistent terminal settings to vscodium --- home/pomp/.config/VSCodium/User/settings.json | 2 ++ 1 file changed, 2 insertions(+) diff --git a/home/pomp/.config/VSCodium/User/settings.json b/home/pomp/.config/VSCodium/User/settings.json index 3375fbc..3af937d 100644 --- a/home/pomp/.config/VSCodium/User/settings.json +++ b/home/pomp/.config/VSCodium/User/settings.json @@ -8,6 +8,8 @@ "editor.fontSize": 16, "editor.fontFamily": "'Ubuntu Mono', 'NanumGothicCoding'", "terminal.integrated.fontFamily": "'NotoSansMono Nerd Font'", + "terminal.integrated.enablePersistentSessions": false, + "terminal.integrated.persistentSessionReviveProcess": "never", "editor.formatOnSave": true, "editor.formatOnPaste": true, "gitlens.currentLine.enabled": false,