From 658cdc63b1a74c0146d3ac4b277ec66240f06b74 Mon Sep 17 00:00:00 2001 From: Chris Date: Thu, 12 Oct 2023 22:08:53 +0100 Subject: [PATCH] Stuff --- .config/Code - OSS/User/settings.json | 3 ++- .config/pulse/daemon.conf | 6 ------ 2 files changed, 2 insertions(+), 7 deletions(-) delete mode 100644 .config/pulse/daemon.conf diff --git a/.config/Code - OSS/User/settings.json b/.config/Code - OSS/User/settings.json index 349241d..3e7423c 100644 --- a/.config/Code - OSS/User/settings.json +++ b/.config/Code - OSS/User/settings.json @@ -19,5 +19,6 @@ "metals.enableIndentOnPaste": true, "editor.detectIndentation": false, "vetur.format.options.tabSize": 4, - "monkeyC.developerKeyPath": "/home/chris/.config/connectiq/developer_key" + "monkeyC.developerKeyPath": "/home/chris/.config/connectiq/developer_key", + "monkeyC.typeCheckLevel": "Off" } \ No newline at end of file diff --git a/.config/pulse/daemon.conf b/.config/pulse/daemon.conf deleted file mode 100644 index af93339..0000000 --- a/.config/pulse/daemon.conf +++ /dev/null @@ -1,6 +0,0 @@ -# Never exit pulseaudio if idle. This is to deal with an issue of Chromium -# browsers not properly starting Pulseaudio by themselves. When the underlying -# issue is solved, this file/directory should be removed. -exit-idle-time = -1 - -cookie-file = /tmp/pulse-cookie