Stuff

2023-10-12 22:08:53 +01:00
parent 9e38b7232e
commit 658cdc63b1
2 changed files with 2 additions and 7 deletions
--- a/OSS/User/settings.json
+++ b/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"
 }
--- a/.config/pulse/daemon.conf
+++ b/.config/pulse/daemon.conf
@@ -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