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